*** This bug is a duplicate of bug 53710 *** Will be synced, per bug 53710. ** This bug has been marked a duplicate of bug 53710 Please re-sync with debian, there's a newer version -- php-doc package missing https://launchpad.net/bugs/27789