[dev] Running phpdoc.php is now deprecated (should use phpdoc only)

[ci skip]