From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Fri, 5 Mar 2010 21:31:35 +0000 (+0000)
Subject: Follow-up r63292: this one is no longer needed
X-Git-Tag: 1.31.0-rc.0~37546
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/pie.php?a=commitdiff_plain;h=d34719b7b4c55754def24f9c3c43c08f97cc51be;p=lhc%2Fweb%2Fwiklou.git

Follow-up r63292: this one is no longer needed
---

diff --git a/maintenance/checkSyntax.php b/maintenance/checkSyntax.php
index 38b7f0ad2f..c4adb64d2b 100644
--- a/maintenance/checkSyntax.php
+++ b/maintenance/checkSyntax.php
@@ -76,7 +76,6 @@ class CheckSyntax extends Maintenance {
 		$this->mIgnorePaths = array(
 			// Compat stuff, explodes on PHP 5.3
 			"includes/NamespaceCompat.php$",
-			"DiscussionThreading/REV",
 			);
 	
 		$this->mNoStyleCheckPaths = array(