MediaWiki:Managewiki-header-extensions

The extensions here are the ones that are currently installed, but you can always request another one to be added. Once you are done, press the 'save' button to save your changes.