X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2Finstall.php;h=ae3074a4c8b0399775f13f1e87c81e0f11406e8d;hb=39fe0565d0cc6706868ad3e9b46509e82bcd593e;hp=212e42ab38682cc2422604cd6211d44c6e2c3588;hpb=eee8ee0b41b607445cd50b0057e982fc02340fa5;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/install.php b/maintenance/install.php
index 212e42ab38..ae3074a4c8 100644
--- a/maintenance/install.php
+++ b/maintenance/install.php
@@ -23,7 +23,9 @@
 
 // Checking for old versions of PHP is done in Maintenance.php
 // We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+
+// @codingStandardsIgnoreStart MediaWiki.Usage.DirUsage.FunctionFound
 require_once dirname( __FILE__ ) . '/Maintenance.php';
+// @codingStandardsIgnoreEnd
 
 define( 'MW_CONFIG_CALLBACK', 'Installer::overrideConfig' );
 define( 'MEDIAWIKI_INSTALL', true );