kdevelop-php-docs: kdevelop-php-docs (PHP documentation plugin for KDevelop) kdevelop-php-docs: kdevelop-php-docs: This KDevelop plugin integrates the php.net online documentation. kdevelop-php-docs: kdevelop-php-docs: kdevelop-php-docs: kdevelop-php-docs: kdevelop-php-docs: kdevelop-php-docs: kdevelop-php-docs: kdevelop-php-docs: