Jump to content
MediaWiki

Extension:GlobalUserPage

From mediawiki.org
This page is a translated version of the page Extension:GlobalUserPage and the translation is 100% complete.
Manuel des extensions MediaWiki
GlobalUserPage
État de la version : stable
Implémentation Interface utilisateur
Description Autorise les pages utilisateur globales (partagées entre les wikis) dans une ferme de wikis.
Auteur(s) Jack Phoenix, Kunal Mehta
Dernière version 0.11.1 (2017年09月18日)
Politique de compatibilité Versions ponctuelles alignées avec MediaWiki. Le master n'est pas compatible arrière.
MediaWiki 1.46+
PHP 5.5.9+
  • $wgGlobalUserPageAPIUrl
  • $wgGlobalUserPageTimeout
  • $wgGlobalUserPageDBname
  • $wgGlobalUserPageFooterKey
  • $wgGlobalUserPageCacheExpiry
Licence Licence publique générale GNU v3.0 ou ultérieur
Téléchargement
Aide Help:Extension:GlobalUserPage/fr
Exemple ShoutWiki
Traduire l’extension GlobalUserPage sur translatewiki.net si elle y est disponible
Problèmes Tâches ouvertes · Signaler un bogue

GlobalUserPage

2020 Coolest Tool
Award Winner

in the category
Reusable


L'extension GlobalUserPage autorise les pages utilisateur globales (partagées entre les wikis) dans une ferme de wikis.

Cette extension a été développée par Jack Phoenix pour ShoutWiki , sur la base originale de Extension:HelpPages par Kunal Mehta (l'extension ne partage plus de code)

Documentation utilisateur

Voir Aide:Extension:Page d’utilisateur globale .

Mises en garde

Utiliser cette extension apporte quelques risques au niveau de la sécurité. Vous devez absolument faire confiance au wiki central et à ses administrateurs parce qu'ils peuvent facilement insérer du HTML brut à dans votre wiki, ouvrant ainsi des brèches XSS et autres choses désagréables.

Installation

  • Téléchargez et placez le(s) fichier(s) dans un répertoire appelé GlobalUserPage dans votre dossier extensions/.
    Les développeurs et les contributeurs au code doivent à la place installer l'extension à partir de Git en utilisant:
    cdextensions/
    gitclonehttps://gerrit.wikimedia.org/r/mediawiki/extensions/GlobalUserPage
    
  • Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :
    wfLoadExtension( 'GlobalUserPage' );
    
  • Yes Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Configuration

  • $wgGlobalUserPageAPIUrl - URL de api.php du wiki central. Cette URL est utilisée en interne pour récupérer le texte de la page utilisateur globale.
  • $wgGlobalUserPageCacheExpiry - contrôle le temps pendant lequel le HTML généré reste dans la cache. La valeur par défaut est 60 * 60 * 24 * 7 (une semaine). Le HTML est habituellement invalidé lors d'une modification, mais c'est un très mauvais cas de repli.
  • $wgGlobalUserPageDBname - nom de la base de données où les données de la page globale utilisateur sont stockées; habituellement mis à la même valeur que $wgSharedDB .
  • $wgGlobalUserPageFooterKey - clé du message à ajouter en tant que pied de page en bas des pages utilisateur globales, ou false s'il n'y a pas de pied de page de défini.
  • $wgGlobalUserPageTimeout - Temps maximal d'exécution des requêtes API internes; pour utiliser $wgHTTPTimeout initialiser ceci avec la chaîne default.
Cette extension est utilisée par au moins un des projets Wikimédia. Cela signifie probablement que l’extension est assez stable et fonctionnelle pour être utilisée sur des sites à fort trafic. Recherchez le nom de cette extension dans le CommonSettings.php de Wikimédia et dans le fichier de configuration InitialiseSettings.php pour situer les endroits où elle est installée. Une liste complète des extensions installées sur un Wiki donné peut être visualisée sur la page Special:Version de ce wiki.
Cette extension est incluse dans les fermes de wikis ou les hôtes suivants et / ou les paquets :

AltStyle によって変換されたページ (->オリジナル) /