<quote name="Legoktm" date="2016-02-09" time="23:23:34 -0800">
https://gerrit.wikimedia.org/r/266931 has been merged, so MediaWiki core now requires PHP 5.5.9 or higher to run. We had to make some (read: a lot) of CI changes for that to happen, here's a quick summary:
Really great job, Lego. I was watching all the work and effort you put into this and I'm both very impressed and very grateful.
Thanks!
Greg