[04:18:48] 10Notifications, 10Growth-Team, 10MediaWiki-History-or-Diffs: Diff linked by the thank notification for the page creation edit displays an error message - https://phabricator.wikimedia.org/T201221 (10SJu) [04:33:05] (03PS1) 10Legoktm: Configure phan-taint-check-plugin [extensions/WikiLove] - 10https://gerrit.wikimedia.org/r/450384 (https://phabricator.wikimedia.org/T201219) [04:33:07] (03CR) 10Legoktm: [C: 032] Configure phan-taint-check-plugin [extensions/WikiLove] - 10https://gerrit.wikimedia.org/r/450384 (https://phabricator.wikimedia.org/T201219) (owner: 10Legoktm) [05:08:23] (03CR) 10Catrope: [C: 04-1] "Looks good to merge, but some nitpicks in the commit message" (032 comments) [extensions/PageTriage] - 10https://gerrit.wikimedia.org/r/449275 (https://phabricator.wikimedia.org/T199357) (owner: 10Sbisson) [07:00:10] (03Merged) 10jenkins-bot: Configure phan-taint-check-plugin [extensions/WikiLove] - 10https://gerrit.wikimedia.org/r/450384 (https://phabricator.wikimedia.org/T201219) (owner: 10Legoktm) [08:49:20] (03PS6) 10Umherirrender: Add phan-taint-check-plugin [extensions/PageTriage] - 10https://gerrit.wikimedia.org/r/444345 [08:51:38] 10Edit-Review-Improvements-Integrated-Filters, 10Growth-Team: use pushState() to make Back button history available - https://phabricator.wikimedia.org/T199958 (10Kaartic) Possibly relevant comment T200986#4473089 > At one point early on, the back button did this (it went to the previous filter setting), but... [09:06:39] 10Notifications, 10Growth-Team, 10Regression: No page link notifications on dewiki since around end of June - https://phabricator.wikimedia.org/T200119 (10Cirdan) @Reedy How certain are you that this fixes the problem? When should users expect to see notifications again? [10:48:03] 10Notifications, 10Growth-Team, 10Regression: No page link notifications on dewiki since around end of June - https://phabricator.wikimedia.org/T200119 (10Reedy) Uhh. I thought this was a different task related to article counting :( Dunno if this is actually fixed then... [11:30:31] 10Notifications, 10Growth-Team, 10Regression: No page link notifications on dewiki since around end of June - https://phabricator.wikimedia.org/T200119 (10Cirdan) 05Resolved>03Open OK, let's keep this open and see what happens. We're still not sure if everybody is affected, but it's likely that this task... [14:55:23] 10MediaWiki-Recent-changes, 10Growth-Team: Open/close link for template in head for Special RecentChanges disappears - https://phabricator.wikimedia.org/T201235 (10jeblad) [15:04:39] 10MediaWiki-Recent-changes, 10Growth-Team: Open/close link for template in head for Special RecentChanges disappears - https://phabricator.wikimedia.org/T201235 (10jeblad) [15:33:35] 10Collaboration-Team-Triage, 10Growth-Team, 10StructuredDiscussions, 10Vector: In StructuredDiscussions, keep the toolbar visible when scrolling - https://phabricator.wikimedia.org/T191577 (10Aklapper) 05Open>03declined Unfortunately closing this report as no further information has been provided. Aft... [15:43:11] 10Collaboration-Team-Triage, 10Growth-Team, 10StructuredDiscussions, 10Vector: In StructuredDiscussions, keep the toolbar visible when scrolling - https://phabricator.wikimedia.org/T191577 (10Johnywhy) Exactly how often do you consider often enough? Do you understand the importance of consistent headers? C... [15:45:38] 10MediaWiki-Recent-changes, 10Growth-Team: Open/close link for template in head for Special RecentChanges disappears - https://phabricator.wikimedia.org/T201235 (10jeblad) 05Open>03Invalid [17:02:53] (03PS2) 10Krinkle: NotificationMapper: Use batching in deleteByUserEventOffset() [extensions/Echo] - 10https://gerrit.wikimedia.org/r/442982 (owner: 10Catrope) [17:03:17] (03PS4) 10Krinkle: NotifUser: Remove basically-unused talk notification cache [extensions/Echo] - 10https://gerrit.wikimedia.org/r/436697 (https://phabricator.wikimedia.org/T164860) (owner: 10Catrope) [17:06:11] (03CR) 10jerkins-bot: [V: 04-1] NotificationMapper: Use batching in deleteByUserEventOffset() [extensions/Echo] - 10https://gerrit.wikimedia.org/r/442982 (owner: 10Catrope) [17:07:42] (03CR) 10jerkins-bot: [V: 04-1] NotifUser: Remove basically-unused talk notification cache [extensions/Echo] - 10https://gerrit.wikimedia.org/r/436697 (https://phabricator.wikimedia.org/T164860) (owner: 10Catrope) [17:11:09] (03CR) 10jerkins-bot: [V: 04-1] NotificationMapper: Use batching in deleteByUserEventOffset() [extensions/Echo] - 10https://gerrit.wikimedia.org/r/442982 (owner: 10Catrope) [17:19:07] (03CR) 10jerkins-bot: [V: 04-1] NotifUser: Remove basically-unused talk notification cache [extensions/Echo] - 10https://gerrit.wikimedia.org/r/436697 (https://phabricator.wikimedia.org/T164860) (owner: 10Catrope) [18:51:00] 10Notifications, 10Growth-Team, 10Regression: No page link notifications on dewiki since around end of June - https://phabricator.wikimedia.org/T200119 (10Cirdan) a:05Reedy>03None [23:45:43] (03PS1) 10Paladox: Avoid counting where not necessary [extensions/Echo] (REL1_31) - 10https://gerrit.wikimedia.org/r/450417