X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/?a=blobdiff_plain;f=maintenance%2Finstall.php;h=ae3074a4c8b0399775f13f1e87c81e0f11406e8d;hb=16fc39d17ce45630161a9ec17bf1f9f918608e71;hp=212e42ab38682cc2422604cd6211d44c6e2c3588;hpb=913d6c7feb2ea35f7eb62d37a2c8d685212adbc9;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 );