Don't produce documentation for php scripts
Reverse correction of @da5b74c7cc