Manual:Mwdoc-filter.php/en

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