[13:50:03] <Krinkle>	 davidwbarratt: could deploy now if you're around to verify in logstash :)
[13:52:51] <davidwbarratt>	 Krinkle sure! I got it open
[13:53:59] <Krinkle>	 (-ops)
[14:25:10] <subbu>	 Krinkle, anomie https://phabricator.wikimedia.org/T231651 .. anyone know what the deal with that is?
[14:49:59] <anomie>	 subbu|away: Replied there.
[17:18:27] <anomie>	 MatmaRex: Re T231582, it looks like it needs PHP 7.1+ to generate the notice, and it'll be fixed by https://gerrit.wikimedia.org/r/c/mediawiki/core/+/434718/ once I get that finished. Whether it's worth a targeted fix to handle someone suddenly doing fuzz testing I don't know.
[17:18:28] <stashbot>	 T231582: ApiQueryRevisions.php: PHP Notice: A non well formed numeric value encountered - https://phabricator.wikimedia.org/T231582
[17:19:51] <MatmaRex>	 anomie: i'm thinking that adding `if ( $value !== 'max' ) { $value = (int)$value; }` after `case 'limit':` in ApiBase.php would be a good idea
[17:20:07] <MatmaRex>	 i can push a patch
[17:20:29] <anomie>	 MatmaRex: That'd probably work. At least it has no more bugs that 'integer' types themselves currently do.
[17:20:43] <anomie>	 s/bugs that/bugs than/
[17:23:09] <MatmaRex>	 anomie: https://gerrit.wikimedia.org/r/533562
[23:38:13] <Krinkle>	 What if we renamed the MediaWiki: namespace to Message: and used MediaWiki as legacy alias?
[23:38:39] <Krinkle>	 My brain just farted and I tried numerous times to find the customisation of a message under that namespace after realising its called MediaWiki: of course.