Merge "Remove PHP < 5.3 support from maintenance/checkSyntax.php"