Remove obsolete ignored path from maintenance/checkSyntax.php

includes/NamespaceCompat.php has been deleted in 2010
with commit 38e663d0eda5ba2be6ca8b71050ea020a64ea8cf

Change-Id: I258a6e458c55871279895f2a78e076ea79e91f44

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(