MaxSem has uploaded a new change for review.

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


Change subject: Uncomment token check in Special:MobileOptions
......................................................................

Uncomment token check in Special:MobileOptions

Tested live - it works properly with current Varnish configuration

Change-Id: I0c1697e73cdca22131085cdad4d4b9d75ccede88
---
M includes/specials/SpecialMobileOptions.php
1 file changed, 3 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend 
refs/changes/89/80389/1

diff --git a/includes/specials/SpecialMobileOptions.php 
b/includes/specials/SpecialMobileOptions.php
index db9bdfc..3a1b15b 100644
--- a/includes/specials/SpecialMobileOptions.php
+++ b/includes/specials/SpecialMobileOptions.php
@@ -191,8 +191,9 @@
                $request = $this->getRequest();
 
                if ( $request->getVal( 'token' ) != $context->getMobileToken() 
) {
-                       wfDebug( __METHOD__ . "(): token mismatch\n" );
-                       //return; // Display something here?
+                       wfDebugLog( 'mobile', __METHOD__ . "(): token mismatch" 
);
+                       $this->getSettingsForm();
+                       return;
                }
                if ( $request->getBool( 'enableAlpha' ) ) {
                        $group = 'alpha';

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0c1697e73cdca22131085cdad4d4b9d75ccede88
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: MaxSem <[email protected]>

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

Reply via email to