[08:15:13] <wikibugs>	 10Traffic, 10MediaWiki-Interface, 6operations: Purge pages cached with mobile editlinks - https://phabricator.wikimedia.org/T125841#2025077 (10Danny_B) @BBlack: What's the status, please?