Difference between revisions of "NieuweWiki"
| Line 4: | Line 4: | ||
Voor iedere wiki is er een apart LocalSettingsExtra.php bestand waarmee je de | Voor iedere wiki is er een apart LocalSettingsExtra.php bestand waarmee je de | ||
standaard instellingen van je wiki kunt veranderen. Dit bestand staat in | standaard instellingen van je wiki kunt veranderen. Dit bestand staat in | ||
| − | /vol/ | + | /vol/wikis/JOUWIKI/ op UNIX logins servers (solo, porthos) en is ook beschikbaar |
op Windows pc's via \\wikiconf\wikisettings\JOUWIKI | op Windows pc's via \\wikiconf\wikisettings\JOUWIKI | ||
Het kan een minuut duren voordat eranderingen in dit bestand zichtbaar zijn in je wiki. Het is verstandig dit bestand een keer door te lezen om een idee te krijgen voor wat er mogelijk is. Merk op dat (syntax) fouten in dit bestand er toe kunnen leiden dat het helemaal genegeerd wordt. | Het kan een minuut duren voordat eranderingen in dit bestand zichtbaar zijn in je wiki. Het is verstandig dit bestand een keer door te lezen om een idee te krijgen voor wat er mogelijk is. Merk op dat (syntax) fouten in dit bestand er toe kunnen leiden dat het helemaal genegeerd wordt. | ||
Latest revision as of 10:56, 30 August 2011
Configuration
For every wiki a separate LocalSettingsExtra.php file exists which enables you to change the default behavior of your wiki. This file can be found in /vol/wikis/YOURWIKI/ on Unix login servers and is accessible on Windows pc's via \\wikiconf\wikisettings\YOURWIKI Changes in this file may take up to one minute before becoming active. It is advisable to read through this file to see what is possible. Beware that (syntax) errors in this file may cause it to be ignored completely.
Logo
To change your logo you have to complete the following steps
- Convert your logo to 135x135 pixel size or smaller
- Upload your logo image to your wiki (Upload file in Toolbox)
Obtain the location of the uploaded image by clicking on the link just below No higher resolution available. and just above File History. Typically the link will look like https://wiki.science.ru.nl/YOURWIKI/images/8/82/yourlogo.jpg
- use this link in your LocalSettingsExtra.php file like this
$wgLogo = "/YOURWIKI/images/8/82/yourlogo.jpg";
Note that you should remove everything before /YOURWIKI in the obtained link.
Extensions
- Overview of locally installed extensions ready to be used.
- overview of available extensions which may need local installation for which you can submit a request to postmaster@@science.ru.nl .
Default Skin
To see the list of available skins, login to your wiki, go to My Preferences and select the Skin Tab. You can preview each of the available skins by clicking the corresponding preview link.
To set one of the available skins as default for new and anonymous (not logged in) users change the line containing the word $wgDefaultSkin in your LocalSettingsExtra.php file
$wgDefaultSkin = 'fnwi';
replacing the value by the lowercase name of the skin.