[02:44:19] <Magog_the_Ogre>	 Is there a way to specify that jobs should run on the new server with the PHP 7? PHP 5 is reaching its EOL at the end of December, and my webservice is already running this.
[02:55:16] <MatmaRex>	 what server? are you talking about Wikimedia wikis?
[02:55:23] <MatmaRex>	 or your own wiki somewhere?
[03:04:11] <Magog_the_Ogre>	 MatmaRex, wmflabs, sorry
[03:32:09] <quiddity>	 Magog_the_Ogre, probably best to re-ask that in #wikimedia-cloud - Or if you're not going to be online for a few hours (until the Europeans wake up) then perhaps ask on https://wikitech.wikimedia.org/wiki/Help_talk:Toolforge 
[14:24:28] <bawolff>	 Lucas_WMDE: Sorry i didn't take care of the lua patch myself earlier
[14:24:39] <bawolff>	 I should have been more on top of that
[14:26:56] <Lucas_WMDE>	 no problem
[14:27:00] <Lucas_WMDE>	 if  CI works again, I’m happy :)
[20:51:02] <McJill>	 I’ve got a little script that adds a button to Special:Log, but after the recent move to ooui (T117737) it disappears after a appearing for just a moment
[20:51:03] <stashbot>	 T117737: Convert Special:Log to OOUI - https://phabricator.wikimedia.org/T117737
[20:51:10] <McJill>	 Is there a hook or something I need to wait for?
[22:42:59] <dungodung>	 why is it no longer possible to see more than 1000 edits in recent changes? that changed a day or two ago (I was able to manually change the limit parameter in URL, but now it gets ignored). is that a bug or a feature (if it's the latter, then I object!)
[22:43:39] <dungodung>	 or maybe #mediawiki is more appropriate?
[22:46:22] <mutante>	 dungodung: let's check the deployment calendar  at  https://wikitech.wikimedia.org/wiki/Deployments
[22:46:29] <mutante>	 for something RC related
[22:46:58] <mutante>	 if you can tell exactly when it stopped..even better
[22:47:05] <dungodung>	 mutante, I'm trying to find a phab task related to this, but I'm not able to
[22:47:35] <dungodung>	 well, I first noticed it about 24 hours ago, and I'm pretty sure it worked well 48 hours ago, so that's the window that I think fits
[22:48:15] <mutante>	 dungodung: other options that will get you feedback soon:  make a new phab ticket, mail wikitech-l, ask in -operations or -releng
[22:48:40] <mutante>	 i dont think #mediawiki would be particuarly helpful in that case.. but maybe also wikimedia-dev
[22:49:09] <dungodung>	 mutante, thanks. however, I believe it's best to first determine if this is really a bug or not
[22:49:47] <mutante>	 well.. you can claim it is one..for you. because clearly you wanted the behaviour it had before. then you find out and people can accept or reject it
[22:50:04] <dungodung>	 hmm https://phabricator.wikimedia.org/T172026#3483291
[22:50:13] <mutante>	 if you truly dont care. then it's not a bug but you can ignore it 
[22:50:48] <mutante>	 hmm.. i see.. yea. "should" and in 2017.. but seens to match. yea
[22:51:14] <dungodung>	 but I don't see any action on that task in the past year
[22:51:28] <mutante>	 then maybe ask catrope on a channel he is on. wm-bot would tell you
[22:52:48] <dungodung>	 I'll just make a task :)
[22:53:14] <mutante>	 yea:) 
[22:53:35] <mutante>	 and from there reference that one you linked above
[22:57:38] <dungodung>	 mutante, done: T210897 :)
[22:57:38] <stashbot>	 T210897: Recent changes limit lowered to 1000 - https://phabricator.wikimedia.org/T210897
[22:57:48] <mutante>	 cool!
[22:58:06] <mutante>	 subscribed ..because now i want the answer
[22:58:38] <dungodung>	 hehe