If you wish to change the settings of anything found in DefaultSettings.php, look for the variable in LocalSettings.php. Generally, only those settings with values that contradict the defaults found in DefaultSettings.php are found here. This file has many different configuration settings, but not all of the available settings are defined here. For the most part, you will see the following syntax: This file is written in the PHP programming language, but the syntax is relatively easy to understand. Type the following command to open the file for editing: sudo nano /etc/mediawiki/LocalSettings.php It looks very similar to DefaultSettings.php, but is shorter. How Do You Edit Default Values?Ĭonfiguration should be done in the LocalSettings.php file. Later, you can add the value to the LocalSettings.php file. If you see a value in this file that you wish to change, take note of it.
Since we will not edit the file, open it in a pager: less /etc/mediawiki/includes/DefaultSettings.php You should never edit DefaultSettings.php, but looking at it can be very valuable. Where Does MediaWiki Store Default Values?ĭefault settings are kept in a file called DefaultSettings.php. To edit the file, SSH into your VPS in order to edit this file manually. The LocalSettings.php file is not accessible from the web interface as a security measure. Can You Edit Preferences Through the Web Interface?Īlthough many preference changes and site management tasks can be administered through the normal wiki web interface, there are some changes that require editing text files on the server. In this article, we will go over some basic configuration that can be done through the LocalSettings.php file. In a previous guide, we installed MediaWiki on an Ubuntu 12.04 installation.
#Mediawiki upload file install#
If this is not the case, please follow the instructions here to install MediaWiki. This guide assumes that you have installed MediaWiki on your VPS and have completed the initial configuration steps with your web browser. Originally developed by the WikiMedia Foundation to serve the needs of Wikipedia, it can be adapted for individuals and smaller organizations. MediaWiki is an open source wiki application that allows you to create your customizable wiki sites.
0 kommentar(er)
