Bartosz Dziewoński has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/126987

Change subject: Remove $wmgUseMicroDesign
......................................................................

Remove $wmgUseMicroDesign

Unused. I didn't do this when doing Vector cleanup, but obviously
no one cares about this after all.

Bug: 55381
Change-Id: I86b0fac71eed9e7ed2f4c4ffae566a542ea4d35a
---
M wmf-config/InitialiseSettings.php
1 file changed, 0 insertions(+), 7 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/87/126987/1

diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 86b3d7d..23648ab 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -12508,13 +12508,6 @@
        'private' => false,
 ),
 
-'wmgUseMicroDesign' => array(
-       'default' => false,
-       'testwiki' => true,
-       'enwiki' => true,
-       'itwikivoyage' => true,
-),
-
 'wmgDisableUnmergedEdits' => array(
        'default' => false,
        'wikivoyage' => false,

-- 
To view, visit https://gerrit.wikimedia.org/r/126987
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I86b0fac71eed9e7ed2f4c4ffae566a542ea4d35a
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to