Manual:Mwdoc-filter.php/es

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