/@WIKIEXTENSIONID@/wikisettings.xhp MediaWiki Options You can add, edit and remove MediaWiki servers. Open the dialog by Tools - Options - Internet - MediaWiki. Alternatively, choose Tools - Extension Manager, select the @WIKIEXTENSIONPRODUCTNAME@, and click the Options button.Listbox Click Add to add a new Wiki server.
Select an entry and click Edit to edit the account settings.
Select an entry and click Remove to remove the entry from the list.Add button Opens the MediaWiki dialog to add a new entry to the list.Edit button Opens the MediaWiki dialog to edit the selected entry.Remove button Removes the selected entry from the list. When you click Add or Edit, the MediaWiki dialog opens.