mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 01:30:15 +00:00
8269970305
It was always set to 0, and we were using the old (pre-2015) get() interface so it wouldn't have worked anyway. Change-Id: Ie92b223a485a5d9d256d2dc69d4ff3807e838878 Bonus: remove documentation for nonexistent parameter for setTime(). |
||
---|---|---|
.. | ||
ApiCrossWikiBase.php | ||
ApiEchoMarkRead.php | ||
ApiEchoMarkSeen.php | ||
ApiEchoNotifications.php | ||
ApiEchoUnreadNotificationPages.php |