MediaWiki/Extension

Les extensions à utiliser.

Liste des extensions utilisées

• DynamicPageList (Wikimedia)
  • https://www.mediawiki.org/wiki/Extension:DynamicPageList_(Wikimedia)
• Highlightjs Integration :
  • https://www.mediawiki.org/wiki/Extension:Highlightjs_Integration
• MsUpload
  • https://www.mediawiki.org/wiki/Extension:MsUpload
• Newest Pages :
  • https://www.mediawiki.org/wiki/Extension:Newest_Pages
• NoTitle :
  • https://www.mediawiki.org/wiki/Extension:NoTitle
• Purge
  • https://www.mediawiki.org/wiki/Extension:Purge
• CodeMirror : pour la coloration syntaxique en édition d'article :
  • https://www.mediawiki.org/wiki/Extension:CodeMirror

PdfHandler

PdfHandler :

• https://www.mediawiki.org/wiki/Extension:PdfHandler

Prérequis :

• Ghostscript :
  • https://www.ghostscript.com/releases/gsdnld.html

• Imagemagik :
• https://www.imagemagick.org/script/install-source.php

• Xpdfreader :
  • https://www.xpdfreader.com/download.html

Maintenance

Pour reconstruire les vignettes des PDF ; source : https://www.mediawiki.org/wiki/Extension_talk:PdfHandler

• php path/to/maintenance/refreshImageMetadata.php -f
• php path/to/maintenance/rebuildImages.php

1. Élément de la liste numérotée

LDAP

LDAP hub :

• https://www.mediawiki.org/wiki/LDAP_hub

LDAPProvider

LDAPProvider :

• https://www.mediawiki.org/wiki/Extension:LDAPProvider

Auth remoteuser

Auth remoteuser

• https://www.mediawiki.org/wiki/Extension:Auth_remoteuser

// If account creation by anonymous users is forbidden, then allow
// it to be created automatically (by the extension).
$wgGroupPermissions['*']['createaccount'] = false;
$wgGroupPermissions['*']['autocreateaccount'] = true;

Autre

Preloader

Preloader : permet de créer des modèles de page :

• https://www.mediawiki.org/wiki/Extension:Preloader