From 480923a155cc5a714242d6f3659dd1a554c1b9b3 Mon Sep 17 00:00:00 2001 From: Kevin Fenzi Date: Wed, 14 Sep 2016 23:10:23 +0000 Subject: [PATCH] drop line to avoid prod changes --- roles/mediawiki/templates/LocalSettings.php.fp.j2 | 1 - 1 file changed, 1 deletion(-) diff --git a/roles/mediawiki/templates/LocalSettings.php.fp.j2 b/roles/mediawiki/templates/LocalSettings.php.fp.j2 index 117950b668..1d68cc55ab 100644 --- a/roles/mediawiki/templates/LocalSettings.php.fp.j2 +++ b/roles/mediawiki/templates/LocalSettings.php.fp.j2 @@ -323,7 +323,6 @@ $wgNamespacesToBeSearchedDefault = array( require_once "$IP/extensions/ParserFunctions/ParserFunctions.php"; require_once "$IP/extensions/Interwiki/Interwiki.php"; require_once "$IP/extensions/Cite/Cite.php"; - {% if env != "staging" %} require_once "$IP/extensions/Auth_FAS.php"; $wgAuth = new Auth_FAS();