New PHP tool to diff between clover.xml coverage reports
New PHP tool to diff between clover.xml coverage reports: https://gitlab.com/legoktm/clover-diffI'm hoping to release a much cooler tool that builds on top of this soon :)
Posts tagged: php
MediaWiki 1.27 LTS on PHP 7
Teaser of MediaWiki 1.27 LTS on PHP 7 using a Debian package!
MediaWiki now uses PHP [arrays, like, this]
MediaWiki now uses PHP [arrays, like, this]: https://gerrit.wikimedia.org/r/271208 Welcome to the future! ...or 2014 ;-)