wikidiff2.ini 	etc/php5/mods-available
debian/etc/mediawiki-extensions	etc
