This bug was fixed in the package kdevelop-php-docs - 1.6.0-0ubuntu1
--------------- kdevelop-php-docs (1.6.0-0ubuntu1) trusty; urgency=low
* New upstream release (LP: #1259220) -- Rohan Garg <email address hidden> Mon, 09 Dec 2013 19:17:12 +0100
This bug was fixed in the package kdevelop-php-docs - 1.6.0-0ubuntu1
---------------
kdevelop-php-docs (1.6.0-0ubuntu1) trusty; urgency=low
* New upstream release (LP: #1259220)
-- Rohan Garg <email address hidden> Mon, 09 Dec 2013 19:17:12 +0100