[MediaWiki-commits] [Gerrit] Revert "Revert "mediawiki.conf: Set $wgScribuntoDefaultEngin... - change (integration/jenkins)
jenkins-bot has submitted this change and it was merged. Change subject: Revert "Revert "mediawiki.conf: Set $wgScribuntoDefaultEngine for speed"" .. Revert "Revert "mediawiki.conf: Set $wgScribuntoDefaultEngine for speed"" Th
[MediaWiki-commits] [Gerrit] Revert "Revert "mediawiki.conf: Set $wgScribuntoDefaultEngin... - change (integration/jenkins)
JanZerebecki has uploaded a new change for review. https://gerrit.wikimedia.org/r/273554 Change subject: Revert "Revert "mediawiki.conf: Set $wgScribuntoDefaultEngine for speed"" .. Revert "Revert "mediawiki.conf: Set $wgScri