[18:42:09] <Reedy>	 Ouch, that's a lot of "Bounce action notification" for mediawiki-api
[20:25:34] <legoktm>	 https://thephp.cc/news/2019/01/faster-code-coverage looks pretty impressive
[21:12:06] <Hauskatze>	 Reedy_: does https://gerrit.wikimedia.org/r/#/c/mediawiki/skins/+/484005/ need to be chmod 10 755 ?
[21:12:14] <Hauskatze>	 just trying to understand
[22:30:07] <legoktm>	 anomie: can you check my latest comment on https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Scribunto/+/468317 ?