[16:48:53] <tgr>	 MaxSem: wanna get in https://gerrit.wikimedia.org/r/c/402578/ before the release? it's marked as WIP but it doesn't seem to be
[17:27:00] <MaxSem>	 tgr: that was my patch for discussion. if you think there's no discussion neede, totally let's merge:)
[20:02:43] <tgr>	 MaxSem: no discussion happened for three months so presumably everyone is okay with it
[20:02:58] <tgr>	 or letting you take the blame :p
[20:03:39] <tgr>	 anyway, firejail is not enabled by default so this only affects sites which actively choose to restrict their commands, right?
[20:03:52] <tgr>	 IMO it's good to merge
[20:04:08] <tgr>	 having an associated phab task would be nice though
[22:09:10] <Dereckson>	 Hello. Do we have MediaWiki stubs usable with phan?
[22:09:42] <Dereckson>	 something like https://github.com/wikimedia/mediawiki-libs-phpstorm-stubs
[22:14:50] <bd808>	 Dereckson: not that I'm aware of, but if we did the folks in #wikimedia-releng would know
[22:16:51] <bd808>	 Dereckson: making stub files for all of the MediaWiki codebase would be a pretty daunting task
[22:20:29] * Dereckson nods