make sure mediawiki scripts get included