Follow-up r63292: this one is no longer needed

diff --git a/maintenance/checkSyntax.php b/maintenance/checkSyntax.php
index 38b7f0a..c4adb64 100644 (file)
--- 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(