[06:10:57] <marostegui>	 federico3: could you check that and change to core the ones that need changing? Thanks
[17:46:00] <Amir1>	 Hi, can I‌ get a +1 on this?‌ https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/1237279
[20:14:58] <Amir1>	 (thanks Sam)