[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Remove setting no longer in MediaWiki

2017-10-17 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/366869 )

Change subject: Remove setting no longer in MediaWiki
..


Remove setting no longer in MediaWiki

Change-Id: I9927c3dae7e1bef098ccf24346a4d13c786c9643
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 3 deletions(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index fc91e33..100bc29 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -3570,9 +3570,6 @@
 
 $wgDefaultUserOptions['watchlistdays'] = $wmgWatchlistNumberOfDaysShow;
 
-// Use OOUI to render the buttons on EditPage.php
-$wgOOUIEditPage = true;
-
 if ( $wmgUseWikidataPageBanner ) {
wfLoadExtension( 'WikidataPageBanner' );
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I9927c3dae7e1bef098ccf24346a4d13c786c9643
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Florianschmidtwelzow 
Gerrit-Reviewer: Jforrester 
Gerrit-Reviewer: Thcipriani 
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]: Remove setting no longer in MediaWiki

2017-07-21 Thread Jforrester (Code Review) 
Jforrester has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/366869 )

Change subject: Remove setting no longer in MediaWiki
..

Remove setting no longer in MediaWiki

Change-Id: I9927c3dae7e1bef098ccf24346a4d13c786c9643
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 3 deletions(-)


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

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 8fa3454..5d77216 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -3479,9 +3479,6 @@
 
 $wgDefaultUserOptions['watchlistdays'] = $wmgWatchlistNumberOfDaysShow;
 
-// Use OOUI to render the buttons on EditPage.php
-$wgOOUIEditPage = true;
-
 if ( $wmgUseWikidataPageBanner ) {
wfLoadExtension( 'WikidataPageBanner' );
 }

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

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

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