Admin : Page créée avec « = Installation de l’extension SyntaxHighlight sur MediaWiki Dockerisé = TOC == 📋 Vue d’ensemble == Cette procédure permet d’ajouter l’extension de coloration syntaxique '''SyntaxHighlight_GeSHi''' à une instance de {{ENTITY|software|MediaWiki|wiki software platform}} exécutée dans un conteneur {{ENTITY|software|Docker|container platform}}. L’installation comprend : * l’installation de l’extension * l’installation de '''Pygments'''... »

2026-05-12T11:51:56Z

Page créée avec « = Installation de l’extension SyntaxHighlight sur MediaWiki Dockerisé = __TOC__ == 📋 Vue d’ensemble == Cette procédure permet d’ajouter l’extension de coloration syntaxique '''SyntaxHighlight_GeSHi''' à une instance de {{ENTITY|software|MediaWiki|wiki software platform}} exécutée dans un conteneur {{ENTITY|software|Docker|container platform}}. L’installation comprend : * l’installation de l’extension * l’installation de '''Pygments'''... »

Nouvelle page

= Installation de l’extension SyntaxHighlight sur MediaWiki Dockerisé =

__TOC__

== 📋 Vue d’ensemble ==

Cette procédure permet d’ajouter l’extension de coloration syntaxique '''SyntaxHighlight_GeSHi''' à une instance de {{ENTITY|software|MediaWiki|wiki software platform}} exécutée dans un conteneur {{ENTITY|software|Docker|container platform}}.

L’installation comprend :

* l’installation de l’extension
* l’installation de '''Pygments'''
* l’activation dans <code>LocalSettings.php</code>
* le redémarrage du conteneur

----

== 🔎 1. Identifier le conteneur MediaWiki ==

Afficher les conteneurs en cours d’exécution :

<syntaxhighlight lang="bash">
docker ps
</syntaxhighlight>

Repérer le conteneur MediaWiki puis entrer dedans :

<syntaxhighlight lang="bash">
docker exec -it NOM_DU_CONTAINER bash
</syntaxhighlight>

ou :

<syntaxhighlight lang="bash">
docker exec -it NOM_DU_CONTAINER sh
</syntaxhighlight>

----

== 📁 2. Accéder au dossier MediaWiki ==

Dans la majorité des images Docker officielles :

<syntaxhighlight lang="bash">
cd /var/www/html
</syntaxhighlight>

Vérifier la présence des dossiers MediaWiki :

<syntaxhighlight lang="bash">
ls
</syntaxhighlight>

Résultat attendu :

<syntaxhighlight lang="text">
extensions
includes
skins
LocalSettings.php
</syntaxhighlight>

----

== ⬇️ 3. Installer l’extension SyntaxHighlight ==

Se placer dans le dossier des extensions :

<syntaxhighlight lang="bash">
cd extensions
</syntaxhighlight>

Télécharger l’extension :

<syntaxhighlight lang="bash">
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi.git SyntaxHighlight_GeSHi
</syntaxhighlight>

=== Si Git n’est pas installé ===

==== Debian / Ubuntu ====

<syntaxhighlight lang="bash">
apt update
apt install -y git
</syntaxhighlight>

==== Alpine Linux ====

<syntaxhighlight lang="bash">
apk add git
</syntaxhighlight>

----

== 🐍 4. Installer Pygments ==

L’extension nécessite l’outil <code>pygmentize</code>.

Vérifier sa présence :

<syntaxhighlight lang="bash">
which pygmentize
</syntaxhighlight>

=== Installation sur Debian / Ubuntu ===

<syntaxhighlight lang="bash">
apt update
apt install -y python3-pygments
</syntaxhighlight>

=== Installation sur Alpine ===

<syntaxhighlight lang="bash">
apk add py3-pygments
</syntaxhighlight>

Vérifier le fonctionnement :

<syntaxhighlight lang="bash">
pygmentize -V
</syntaxhighlight>

----

== ⚙️ 5. Activer l’extension ==

Modifier le fichier <code>LocalSettings.php</code> :

<syntaxhighlight lang="bash">
nano /var/www/html/LocalSettings.php
</syntaxhighlight>

Ajouter à la fin du fichier :

<syntaxhighlight lang="php">
wfLoadExtension( 'SyntaxHighlight_GeSHi' );
</syntaxhighlight>

----

== 🔄 6. Redémarrer le conteneur ==

Quitter le shell du conteneur puis exécuter :

<syntaxhighlight lang="bash">
docker restart NOM_DU_CONTAINER
</syntaxhighlight>

----

== ✅ 7. Vérification ==

Créer une page de test avec le contenu suivant :

<syntaxhighlight lang="wiki">
<syntaxhighlight lang="python">
print("Hello")
</syntaxhighlight>
</syntaxhighlight>

Résultat attendu : affichage coloré du code Python.

----

== 🔍 8. Vérification dans MediaWiki ==

Accéder à :

<syntaxhighlight lang="text">
Spécial:Version
</syntaxhighlight>

Vérifier la présence de :

* SyntaxHighlight
* Pygments

----

== 🐳 9. Méthode Docker Compose recommandée ==

Si le conteneur est régulièrement recréé, les modifications manuelles seront perdues.

Il est recommandé de créer une image Docker personnalisée.

=== Exemple Dockerfile ===

<syntaxhighlight lang="docker">
FROM mediawiki:latest

RUN apt update && \
apt install -y git python3-pygments

WORKDIR /var/www/html/extensions

RUN git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi.git
</syntaxhighlight>

=== Exemple docker-compose.yml ===

<syntaxhighlight lang="yaml">
services:
mediawiki:
build: .
ports:
- "8080:80"
</syntaxhighlight>

----

== ⚠️ 10. Cas des versions récentes de MediaWiki ==

Certaines versions récentes de MediaWiki incluent déjà l’extension.

Vérifier avec :

<syntaxhighlight lang="bash">
ls /var/www/html/extensions
</syntaxhighlight>

Si le dossier <code>SyntaxHighlight_GeSHi</code> existe déjà, il suffit d’ajouter :

<syntaxhighlight lang="php">
wfLoadExtension( 'SyntaxHighlight_GeSHi' );
</syntaxhighlight>

dans <code>LocalSettings.php</code>.

----

== 🛠️ 11. Mise à jour de MediaWiki ==

Après installation d’une extension, exécuter :

<syntaxhighlight lang="bash">
docker exec -it NOM_DU_CONTAINER bash -c "
cd /var/www/html &&
php maintenance/update.php
"
</syntaxhighlight>

Cela applique les éventuelles mises à jour nécessaires.

----

== 📚 Exemple d’utilisation ==

=== Python ===

<syntaxhighlight lang="wiki">
<syntaxhighlight lang="python">
for i in range(5):
print(i)
</syntaxhighlight>
</syntaxhighlight>

=== Bash ===

<syntaxhighlight lang="wiki">
<syntaxhighlight lang="bash">
docker ps
</syntaxhighlight>
</syntaxhighlight>

=== YAML ===

<syntaxhighlight lang="wiki">
<syntaxhighlight lang="yaml">
services:
mediawiki:
image: mediawiki
</syntaxhighlight>
</syntaxhighlight>

Ajout d'une extension dans MediaWiki - Historique des versions