jenkins-bot has submitted this change and it was merged. Change subject: Removes unneeded MobileContext::checkUserLoggedIn() ......................................................................
Removes unneeded MobileContext::checkUserLoggedIn() This appears to have been introduced a bagillion years ago (like back in the days of SVN) and was related to ancient attempts to implement mobile login. It is currently not used for anything, so it and its invocation have been removed. Change-Id: Ifd31b202ad08faba69399182f39bc0931e55efa9 --- M includes/MobileContext.php M includes/MobileFrontend.body.php 2 files changed, 0 insertions(+), 30 deletions(-) Approvals: MaxSem: Verified; Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/45245 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ifd31b202ad08faba69399182f39bc0931e55efa9 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: awjrichards <aricha...@wikimedia.org> Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits