[04:14:41] TimStarling: I ran into the HookRunner issue again today in a very different context; https://phabricator.wikimedia.org/T85805#7631083 [04:15:02] also also painfully reminded of the fact that local dev is HTTP1 and connection reuse was shit. [04:19:42] you should try it with my opcache.preload patch [04:20:01] maybe we can pick that up later this month after a few other things have settled. [04:20:59] I (or mediawiki-docker-dev) is on php7.2 to match prod, but yeah, I can try that out with a different dev environment. I don't remember if addshore's env still works, I remember that one was really easy to switch php versions with and very fast to rebuild (a few seconds or so). [04:22:12] looks like dev-images actually contains other php versions at https://gitlab.wikimedia.org/repos/releng/dev-images but there's no doc for switching versions at https://www.mediawiki.org/wiki/MediaWiki-Docker/Configuration_recipes [04:25:23] anyway, I'll give that a try, thx [04:27:21] hopefully production will be on 7.4 soon [04:27:32] that would solve your problem [08:19:04] (mwcli supports all the Dev images with docs on changing version) [23:30:28] TimStarling: btw Ive added you to the group that powers our gerrit dash, https://gerrit.wikimedia.org/r/p/wikimedia/+/dashboard/teams:performance [23:31:02] in a nut shell, this means your merged/outgoing patches are visible there to the team [23:31:22] thanks [23:31:39] and for incoming patches it means a -1 from you will hide it pending action by the uploader or someone else, whereas -1 from someone outside the team to an area we maintain will stil leave it visible here on the queue. [23:35:01] I am doing reviews at the moment, let me know if there's anything you want me to prioritise, otherwise I am just looking through these lists [23:37:27] No high prio items from me right now.