Tweak devel/kdevelop-php-docs version 1.4.1
Tweak devel/kdevelop-php version 1.4.1