Extension PdfExport

On va activer la possibilité d'exporter les pages en PDF. Installation de htmldoc

$apt-get install htmldoc

Création de l'extension PdfExport

Créer le répertoire de l'extension :

cd /var/www/mediawiki/extension
mkdir -p PdfExport/

Créer les deux fichiers suivant en copiant le contenu site : PdfExport

vi PdfExport.php
vi PdfExport.i18n.php

Lien d'explication : Extension Pdf_Export Modification du fichier PdfExport.php

Pour éviter les problèmes avec HTTPS activé. Avant :

#system("perl -pi -e 's/img src=\"https:\/\//img src=\"http:\/\//g' '$mytemp'");

Après :

system("perl -pi -e 's/img alt=\"\" src=\"/img alt=\"\" src=\"http:\/\/wiki.jpsystem.info/g' '$mytemp'");

Activation du module

Ajouter ce qui suit à 'LocalSettings.php' :

require_once("extensions/PdfExport/PdfExport.php");

L'extension est maintenant activée.