Mediawiki: minor extension include fixes