From 36797512ce8cc3a4a1ebb624b4f7e6b27c6aa178 Mon Sep 17 00:00:00 2001 From: Ricordisamoa Date: Wed, 17 Feb 2016 00:45:38 +0100 Subject: [PATCH] Remove obsolete ignored path from maintenance/checkSyntax.php includes/NamespaceCompat.php has been deleted in 2010 with commit 38e663d0eda5ba2be6ca8b71050ea020a64ea8cf Change-Id: I258a6e458c55871279895f2a78e076ea79e91f44 --- maintenance/checkSyntax.php | 2 -- 1 file changed, 2 deletions(-) diff --git a/maintenance/checkSyntax.php b/maintenance/checkSyntax.php index 998cade4cc..dabcf85b9f 100644 --- 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( -- 2.20.1