[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Hygiene: Remove dead config variable

[jenkins-bot (Code Review)]

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

Change subject: Hygiene: Remove dead config variable
..


Hygiene: Remove dead config variable

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

Approvals:
  Urbanecm: Looks good to me, but someone else must approve
  Chad: Looks good to me, approved
  jenkins-bot: Verified
  Dereckson: Looks good to me, but someone else must approve



diff --git a/wmf-config/mobile.php b/wmf-config/mobile.php
index 1fcd38d..3bb3233 100644
--- a/wmf-config/mobile.php
+++ b/wmf-config/mobile.php
@@ -67,9 +67,6 @@
 
$wgMFEnableBeta = true;
 
-   // Allow editing for non-JavaScript users
-   $wgMFAllowNonJavaScriptEditing = true;
-
// Turn on volunteer recruitment
$wgMFEnableJSConsoleRecruitment = true;
 

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I2c3ae7e0e7bbd5c173c37a4fbc82fb63ae82bd52
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson 
Gerrit-Reviewer: Chad 
Gerrit-Reviewer: Dereckson 
Gerrit-Reviewer: Florianschmidtwelzow 
Gerrit-Reviewer: Jforrester 
Gerrit-Reviewer: Urbanecm 
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]: Hygiene: Remove dead config variable

[Jdlrobson (Code Review)]

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

Change subject: Hygiene: Remove dead config variable
..

Hygiene: Remove dead config variable

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


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

diff --git a/wmf-config/mobile.php b/wmf-config/mobile.php
index 1fcd38d..3bb3233 100644
--- a/wmf-config/mobile.php
+++ b/wmf-config/mobile.php
@@ -67,9 +67,6 @@
 
$wgMFEnableBeta = true;
 
-   // Allow editing for non-JavaScript users
-   $wgMFAllowNonJavaScriptEditing = true;
-
// Turn on volunteer recruitment
$wgMFEnableJSConsoleRecruitment = true;
 

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

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

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