$wgManageWikiExtensionsDefault