Mediawiki
Mediawiki est la solution que nous utilisons pour documenter nos procédures. C'est également la solution utilisé par Wikipedia. Vous lisez actuellement ce texte depuis un Mediawiki.
Choix de la licence
Le choix de la licence est important car tout ce que vous écrivez est régit par défaut par le droit d'auteur. De fait, les utilisateurs consultant vos écrits ne peuvent rien faire de vos œuvres et c'est bien dommage pour le partage. Il convient donc de choisir la licence qui vous convient afin d'adapter au mieux le droit sur vos contenus.
Trouver une licence
Il existe une multitude de licences et il est facile de s'y perdre.
Nous avons fait le choix d'une licence Creative Commons qui permet de définir les autorisations accordées aux utilisateurs vis à vis des contenu partagés. Vous pouvez définir les caractéristiques de la licence avec ce simulateur qui permet également de générer les informations dont vous aurez besoin pour les afficher sur vos pages.
Exemple : licence Creative Commons
Pour la définir :
- Choisir la licence : http://creativecommons.org/choose/
- Examiner le code HTML retourné, ex :
<a rel="license" href="http://creativecommons.org/licenses/by-nc-sa/4.0/deed.fr">
<img alt="Creative Commons License" border="0" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png" />
</a>
Ce(tte) œuvre est mise à disposition selon les termes de la
<a rel="license" href="http://creativecommons.org/licenses/by-nc-sa/4.0/deed.fr">
Licence Creative Commons Attribution - Pas d’Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 International</a>.
Il sera utile pour remplir les variables du LocalSettings.php.
Pour $wgRightsURL
entrer l'info href
de la première ancre :
$wgRightsUrl = "http://creativecommons.org/licenses/by-nc-sa/4.0/deed.fr";
Pour $wgRightsText</syntaxhighlight lang="php" inline> entrer le texte des liens de la seconde ancre <syntaxhighlight lang="php"> $wgRightsText = "Licence Creative Commons Attribution - Pas d’Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 International";
Pour $wgRightsIcon
entrer l'info src
du lien img
dans la première ancre. Pour copier le badge de son propre site au lieu de celui de Creative Commons :
$wgRightsIcon = "https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png";
Pour utiliser les métadonnées RDF dans le copyright ajouter au moins l'une des deux lignes suivante dans LocalSettings.php
:
$wgEnableCreativeCommonsRdf = true;
$wgEnableDublinCoreRdf = true;
Ce qui donne :
$wgRightsUrl = "http://creativecommons.org/licenses/by-nc-sa/4.0/deed.fr";
$wgRightsText = "Licence Creative Commons Attribution - Pas d’Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 International";
$wgRightsIcon = "https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png";
$wgEnableCreativeCommonsRdf = true;
Source de la section
Ajouter un thème
Partie brouillonne afin de noter un élément pour plus tard.
Glyph icons
Ce sont les pictogrammes que l'on retrouve dans les Modèles que l'on a créé pour notre Wiki comme
ASTUCE
Le pouce,class="glyphicon glyphicon-thumbs-up"
.ou
INFORMATION
Le i,class="glyphicon glyphicon-info-sign"
.Pour faire ces pictogrammes, la police de caractère glyphicon est utilisé et une balise <span>
comportant une classe avec le nom de l'icône à afficher.
Source de la section
Édition
Ajouter des liens
Lien vers une catégorie
Pour faire un lien vers une catégorie du Wiki :
[[:Category:Nom_catégorie|Texte à afficher]]
Lien avec domaine variable
Le Mediawiki que vous consultez présentement étant synchronisé entre plusieurs sites avec des noms de domaine différents, il est possible d'utiliser une variable pour mettre celui ayant réaliser la dernière modification au moment de la génération de la page. Il serait plus adapté et plus simple de pouvoir mettre des chemins relatifs mais ceci ne semble pas possible...
[https://{{SERVERNAME}}/chemin/à/lier mots du lien]
Mises à jours
De MediaWiki
Pour mettre à jour MediaWiki, il faut récupérer la version désirée sur le site officiel.
Il faudra l'extraire à l'endroit où pointera l'hôte virtuel de votre serveur WEB et y importer les éléments personnalisés de votre installation actuelle :
LocalSettings.php
images/
- Noter les extensions et les thèmes que vous utilisez et ajoutez leurs nouvelle versions dans le répertoire dédié
Faire pointer le serveur WEB sur la nouvelle version.
De la base de données
Après avoir mis à jour MediaWiki, il faut adapter la base de données à la nouvelle version en production. Pour ce faire, un script update.php
est présent dans le répertoire maintenance
.
Il suffit simplement de l'exécuter comme suit :
php update.php