Manual:Mwdoc-filter.php/de-formal

Details
mwdoc-filter.php file is a Doxygen filter to show correct member variable types in documentation.

It has been adapted for MediaWiki to resolve various bugs we experienced from using Doxygen with our coding conventions:
 * We want to allow documenting class members on a single line by documenting them as, and in long-form as ‎
 * PHP does not support native type-hinting of class members. Instead, we document that using  in the doc blocks above it. However, Doxygen only supports parsing this from executable code. We achieve this by having the this script filter take the typehint from the doc block and insert it into the source code in front of , like  . This result is technically invalid PHP code, but Doxygen understands it this way.

Options/Arguments
This script accepts the path of a PHP file as an argument.