adding MediaWikiPlayer to extensions