[Pkg-mediawiki-devel] Bug#821633: php-wikidiff2: PHP 7.0 Transition

Kunal Mehta legoktm at member.fsf.org
Mon Jun 13 21:16:53 UTC 2016

This is currently being worked on upstream at
<https://gerrit.wikimedia.org/r/#/c/293894/> and additionally tracked at

I additionally was able to fix up all the packaging to be compatible
with PHP7 and use dh_php, but the upstream patch is currently segfaulting.

More information about the Pkg-mediawiki-devel mailing list