X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2Finstall.php;h=ae3074a4c8b0399775f13f1e87c81e0f11406e8d;hb=4dc3ac1c375b3d2eb6172dfef8fdebe71b8c5f43;hp=212e42ab38682cc2422604cd6211d44c6e2c3588;hpb=87a998f4821f154bb463e76f3c93248cd4365500;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 );