[13:34:37] 10MediaWiki-Core-Team, 10Librarization, 06Project-Admins: Create Librarization project - https://phabricator.wikimedia.org/T754#2452745 (10Danny_B) [13:45:59] legoktm: Like I said, I had it on my list of things to do someday. Then Adam was pushing it as a "personal growth" goal since it's C code rather than PHP, and then you filed the bug, so I decided to just do it. [13:52:03] 10MediaWiki-Core-Team, 06Collaboration-Team-Interested, 06Developer-Relations, 06Editing-Department, and 14 others: Create team projects for all teams participating in scrum of scrums - https://phabricator.wikimedia.org/T1211#2452816 (10Danny_B) [14:54:33] anomie: If you're about... https://phabricator.wikimedia.org/T140108 [15:18:33] Reedy: Nothing relevant seems to have changed in the API code recently. I note the query there is the same as would be produced by [[zh:MediaWiki:Gadget-PatrollCount.js]], although I don't see any very recent changes related to it. [15:18:53] Unless many more people enabled it [16:25:20] Hi everyone, your input on https://phabricator.wikimedia.org/T126641 is very welcome and appreciated. Thank you. [17:23:48] do we know anyone at HHVM that we could poke to review https://github.com/facebook/hhvm/pull/7208 ? [17:33:55] We know several people upstream :) [17:34:00] (or we did, I assume they're there) [18:22:43] Github Author: =?UTF-8?q?Bartosz=20Dziewo=C5=84ski?= [18:22:55] legoktm: yes. i complained. [18:23:11] i hope it doesn't stay this way in the actual commit, if they merge it. [19:16:30] amend it? :) [19:17:50] hasharAway: it's Differential, it doesn't even have commits