From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Wed, 17 Feb 2016 02:26:22 +0000 (+0000)
Subject: Merge "Update OOjs UI to v0.15.4"
X-Git-Tag: 1.31.0-rc.0~7936
X-Git-Url: http://git.cyclocoop.org/%22%20.%20%20%20%24self2%20.%20%20%20%22&var_mode_affiche=boucle?a=commitdiff_plain;h=2fd379fa95f223c6b3f3c8eff6de068eca9e1a1a;hp=c420284038cb3471d8dd41db9f4c41fc6ed4ecc2;p=lhc%2Fweb%2Fwiklou.git

Merge "Update OOjs UI to v0.15.4"
---

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(