extensions/	include/		usr/share/mediawiki-extensions
debian/etc/*		etc/mediawiki-extensions
