Include Wikidiff2 PHP extension
Created by: cimurah
Hola! We are currently working on https://gerrit.wikimedia.org/g/mediawiki/php/wikidiff2 and we wanted to explore the idea of including patches for Wikidiff2 in Patch Demo. Would it be too complicated to include Wikidiff2 patches? Thank you!