Manual:DumpFilter.php