[13:12:57] <anomie>	 tgr|away: Announce on mediawiki-api if you want, that'd be fine. My first reaction is that it wouldn't be on-topic for mediawiki-api-announce, though, since it doesn't seem like something so major that every API user would care.
[19:08:17] <tgr>	 https://phabricator.wikimedia.org/P5099
[19:08:21] <tgr>	 thanks mariadb.
[20:19:49] <RainbowSprinkles>	 I'm...surprised that it allowed that expression in the field list anyway...
[20:34:56] <RainbowSprinkles>	 Warning: Revision::decompressRevisionText: gzinflate() failed [Called from Revision::decompressRevisionText in /srv/mediawiki/php-1.29.0-wmf.17/includes/Revision.php at line 1354] in /srv/mediawiki/php-1.29.0-wmf.17/includes/debug/MWDebug.php on line 309
[20:34:58] <RainbowSprinkles>	 That's fun ^
[22:03:20] <greg-g>	 TimStarling: I'm responding to your email now but tl;dr: sounds perfect. I just started editing the dev/maint wiki page now. Is there a team page on mw.org I should link to?
[23:09:25] <TimStarling>	 greg-g: not yet, just make a red link to [[MediaWiki Platform Team]] since that's what it will now be called