From: Ricordisamoa <ricordisamoa@openmailbox.org>
Date: Tue, 16 Feb 2016 23:45:38 +0000 (+0100)
Subject: Remove obsolete ignored path from maintenance/checkSyntax.php
X-Git-Tag: 1.31.0-rc.0~7937^2
X-Git-Url: http://git.cyclocoop.org/data/%24oldEdit?a=commitdiff_plain;h=36797512ce8cc3a4a1ebb624b4f7e6b27c6aa178;p=lhc%2Fweb%2Fwiklou.git

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 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(