Manual:DumpNamespaceFilter.php