wikidiff2.ini 	etc/php/7.0/mods-available
debian/etc/mediawiki-extensions	etc
