Merge "Remove obsolete ignored path from maintenance/checkSyntax.php"