In other words, how do you make the main content div take up 100% of the display, hiding the logo, toolbox, navigation and search engine?
If you just installed Media Wiki and you want to improve its default text editor, you have basically two options: either enable the Wiki Editor extension, which was successfully used by the most Media Wiki-based Wikis in the world since 2015 – including, of course, Wikipedia – or implement the brand-new (and visually astonishing) Visual Editor extension, which is basically the “successor” of the former being officially adopted by Wikipedia since 2015.
The Media Wiki development team refers you to your Linux distribution for assistance with installing, configuring or using them.
The individual communities and companies who maintain such packages should provide installation instructions. Shell access (SSH) is not required for installing Media Wiki, but it is highly recommended.
Instead you need to edit a wiki page called Media Wiki: if you want to apply your CSS changes for all skins, or a wiki page called Media Wiki: if you want to apply the customizations only for the Vector skin.
The content of the Media Wiki: and Media Wiki: pages always overrides the default CSS styles specified in the skin files.
If you wish to alter or amend the software itself, in general, you are permitted to, but there are some restrictions and you should consult the full text of the GNU GPL version 2 for details.
Because Media Wiki is provided free of charge, there is no warranty, to the extent permitted by applicable law.
Many Linux distributions provide Media Wiki in a packaged format for that distribution.
Any settings in $wg Default User Options will override those set in the language file.
To change the default namespaces to be searched, in any version of Media Wiki, set $wg Namespaces To Be Searched Default Yes. In essence, you will be backing up your old installation and then "restoring" it onto the new machine.
Click here to download the latest stable release of Media Wiki. Media Wiki can also be obtained directly from our Git repository.
Installing Media Wiki takes around 10 to 30 minutes, and involves uploading/copying files, and running the installer script to configure the software.