From d34719b7b4c55754def24f9c3c43c08f97cc51be Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Fri, 5 Mar 2010 21:31:35 +0000 Subject: [PATCH] Follow-up r63292: this one is no longer needed --- maintenance/checkSyntax.php | 1 - 1 file changed, 1 deletion(-) 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( -- 2.20.1