Re: [Wikitech-l] MediaWiki 1.31 branch (and PHP versions)

2018-04-23 Thread Brion Vibber
Exciting times! Looking forward to our PHP 7 future, if not just yet. :D -- brion On Fri, Apr 20, 2018 at 4:54 PM, Chad wrote: > Hi, > > I meant to send this Tuesday but I forgot. > > MediaWiki 1.31 has been branched from master! You should now see a REL1_31 > branch where appropriate items sho

[Wikitech-l] MediaWiki 1.31 branch (and PHP versions)

2018-04-20 Thread Chad
Hi, I meant to send this Tuesday but I forgot. MediaWiki 1.31 has been branched from master! You should now see a REL1_31 branch where appropriate items should be backported to. Core was branched at 69257de17fc899c447c9f1229b6ed319bc05d316. All extensions & skins were branched from their respect