Theme extension for Mediawiki