[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Move Special:Watchlist auto-reload check from PHP to JS

2016-12-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326233 ) Change subject: Move Special:Watchlist auto-reload check from PHP to JS .. Move Special:Watchlist auto-reload check from PHP to

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Move Special:Watchlist auto-reload check from PHP to JS

2016-12-09 Thread Sn1per (Code Review)
Sn1per has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/326233 ) Change subject: Move Special:Watchlist auto-reload check from PHP to JS .. Move Special:Watchlist auto-reload check from PHP to JS This