4.0.1 has been in the tree since 21st July. Reproducible: Always
Yes, that's good idea. =dev-util/kdevplatform-1.0.1 =dev-util/kdevelop-4.0.1 =dev-util/kdevelop-php-1.0.1 =dev-util/kdevelop-php-docs-1.0.1 Please proceed.
amd64 done
Everything looks fine on x86, I'm just not sure how to test kdevelop-php-docs?
stable x86, thanks Jeremy, sometimes one cannot check everything, closing