Mediawiki

De Wiki doc


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 :

<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

Source de la section