Mediawiki extension to plugin FontAwesome