MediaWiki 1.31 supports PHP 7.2 so it should be upgraded within the container.
• Vvjjkkii renamed this task from Upgrade PHP to 7.2 to enaaaaaaaa.Jul 1 2018, 1:03 AM2018-07-01 01:03:07 (UTC+0)
• Vvjjkkii reopened this task as Open.
• Vvjjkkii triaged this task as High priority.
• Vvjjkkii added projects: CheckUser, Connected-Open-Heritage-Batch-uploads (RAÄ-KMB_1_2017-02), Tamil-Sites, Gamepress, Hashtags, Jade, KartoEditor, Language-2018-Apr-June, New-Editor-Experiences, Mail, archived--TCB-Team.
CommunityTechBot renamed this task from enaaaaaaaa to Upgrade PHP to 7.2.Jul 2 2018, 1:24 PM2018-07-02 13:24:22 (UTC+0)
CommunityTechBot closed this task as Resolved.
CommunityTechBot raised the priority of this task from High to Needs Triage.
CommunityTechBot removed projects: archived--TCB-Team, Mail, New-Editor-Experiences, Language-2018-Apr-June, KartoEditor, Jade, Hashtags, Gamepress, Tamil-Sites, Connected-Open-Heritage-Batch-uploads (RAÄ-KMB_1_2017-02), CheckUser.