Re: [MediaWiki-l] Update to php 7.0.15 breaking MW 1.23