Manual:Mwdoc-filter.php

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