Make mediawiki.special.pageLanguage work again

[lhc/web/wiklou.git] / includes / PHPVersionError.php

diff --git a/includes/PHPVersionError.php b/includes/PHPVersionError.php
index 007ea89..9fbcf89 100644 (file)
--- a/includes/PHPVersionError.php
+++ b/includes/PHPVersionError.php
@@ -21,4 +21,6 @@
  * @deprecated 1.25
  * @file
  */
+// @codingStandardsIgnoreStart MediaWiki.Usage.DirUsage.FunctionFound
 require_once dirname( __FILE__ ) . '/PHPVersionCheck.php';
+// @codingStandardsIgnoreEnd