Merge "Update OOjs UI to v0.15.4"

diff --git a/maintenance/checkSyntax.php b/maintenance/checkSyntax.php
index 998cade..dabcf85 100644 (file)
--- a/maintenance/checkSyntax.php
+++ b/maintenance/checkSyntax.php
@@ -84,8 +84,6 @@ class CheckSyntax extends Maintenance {
                global $IP;
 
                $this->mIgnorePaths = array(
-                       // Compat stuff, explodes on PHP 5.3
-                       "includes/NamespaceCompat.php$",
                );
 
                $this->mNoStyleCheckPaths = array(