# php-docs is the name of the plugin
kdevelop-php-docs: wrong-section-according-to-package-name kdevelop-php-docs => doc
