[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Enable Unicode section links on mediawiki.org

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/386710 )

Change subject: Enable Unicode section links on mediawiki.org
..


Enable Unicode section links on mediawiki.org

Bug: T175725
Change-Id: I5ddd24b90d62734f9b328e407699ce3ebeea1d99
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  MaxSem: Looks good to me, approved
  jenkins-bot: Verified
  Zoranzoki21: Looks good to me, but someone else must approve



diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 354edfc..3fc0533 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -19666,6 +19666,7 @@
'default' => [ 'legacy', 'html5' ],
'testwiki' => [ 'html5', 'legacy' ],
'test2wiki' => [ 'html5', 'legacy' ],
+   'mediawikiwiki' => [ 'html5', 'legacy' ],
'ruwiki' => [ 'html5', 'legacy' ],
'ruwikibooks' => [ 'html5', 'legacy' ],
'ruwikimedia' => [ 'html5', 'legacy' ],

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I5ddd24b90d62734f9b328e407699ce3ebeea1d99
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MaxSem 
Gerrit-Reviewer: MaxSem 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Enable Unicode section links on mediawiki.org

[MaxSem (Code Review)]

MaxSem has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/386710 )

Change subject: Enable Unicode section links on mediawiki.org
..

Enable Unicode section links on mediawiki.org

Bug: T175725
Change-Id: I5ddd24b90d62734f9b328e407699ce3ebeea1d99
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)


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

diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 8589c18..ecdba0d 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -19647,6 +19647,7 @@
'default' => [ 'legacy', 'html5' ],
'testwiki' => [ 'html5', 'legacy' ],
'test2wiki' => [ 'html5', 'legacy' ],
+   'mediawikiwiki' => [ 'html5', 'legacy' ],
'ruwiki' => [ 'html5', 'legacy' ],
'ruwikibooks' => [ 'html5', 'legacy' ],
'ruwikimedia' => [ 'html5', 'legacy' ],

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I5ddd24b90d62734f9b328e407699ce3ebeea1d99
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MaxSem 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits