Jdlrobson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/127195
Change subject: Story 1891: Push history to stable
......................................................................
Story 1891: Push history to stable
Easiest push to stable ever. :-)
Change-Id: I1c8eb0d80cd4845fd112c699e8acdab01182108b
---
M includes/specials/SpecialMobileHistory.php
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend
refs/changes/95/127195/1
diff --git a/includes/specials/SpecialMobileHistory.php
b/includes/specials/SpecialMobileHistory.php
index bc09f5a..ddad51f 100644
--- a/includes/specials/SpecialMobileHistory.php
+++ b/includes/specials/SpecialMobileHistory.php
@@ -1,7 +1,6 @@
<?php
class SpecialMobileHistory extends MobileSpecialPageFeed {
- protected $mode = 'beta';
const LIMIT = 50;
/** @var String|null timestamp to offset results from */
protected $offset;
--
To view, visit https://gerrit.wikimedia.org/r/127195
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I1c8eb0d80cd4845fd112c699e8acdab01182108b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
