[07:02:53] 06Collaboration-Team-Triage, 10Edit-Review-Improvements, 10ORES, 06Revision-Scoring-As-A-Service: Let ERI order based on ORES scores - https://phabricator.wikimedia.org/T163040#3184283 (10Ladsgroup) [08:15:09] (03PS2) 10Umherirrender: Remove deprecated PHP entry point [extensions/WikiLove] - 10https://gerrit.wikimedia.org/r/342572 (https://phabricator.wikimedia.org/T140007) (owner: 10SamanthaNguyen) [08:15:13] (03CR) 10Umherirrender: [C: 032] Remove deprecated PHP entry point [extensions/WikiLove] - 10https://gerrit.wikimedia.org/r/342572 (https://phabricator.wikimedia.org/T140007) (owner: 10SamanthaNguyen) [08:17:21] (03Merged) 10jenkins-bot: Remove deprecated PHP entry point [extensions/WikiLove] - 10https://gerrit.wikimedia.org/r/342572 (https://phabricator.wikimedia.org/T140007) (owner: 10SamanthaNguyen) [08:51:41] (03CR) 10jenkins-bot: Localisation updates from https://translatewiki.net. [extensions/Echo] - 10https://gerrit.wikimedia.org/r/348291 (owner: 10L10n-bot) [15:22:35] 10MediaWiki-Watchlist, 07Mobile: Feature request: watchlist feed parameter for mobile frontend diff links - https://phabricator.wikimedia.org/T122409#3184568 (10MisterSynergy) I use an rss app on my smartphone to track changes on my watchlists. The feed items link to the corresponding diff page of the edit for... [18:02:21] 10MediaWiki-Watchlist, 07Mobile: Feature request: watchlist feed parameter for mobile frontend diff links - https://phabricator.wikimedia.org/T122409#3184677 (10Jdlrobson) I see! Thanks for explaining. Out of curiousity, what kind of links does the RSS feed produce - can you provide an example URL? Would it he...