wikidiff2.ini 	etc/php5/conf.d
debian/etc/mediawiki-extensions	etc
