Manuel:$wgEditSubmitButtonLabelPublish
Sortie: $wgEditSubmitButtonLabelPublish | |
---|---|
Permet de changer l'étiquette 'save' en 'publish' pour les wikis publiques. |
|
Introduit dans la version : | 1.28.0 (Gerrit change 296719; git #ba4532aa) |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (booléen) |
Valeur par défaut : | false |
Autres paramètres : Alphabétique | Par fonction |
Lorsque $wgEditSubmitButtonLabelPublish vaut true
, MediaWiki va attribuer au bouton store-to-database-and-show-to-others le texte « Publier la page/Publier les modifications ».
S'il vaut false
qui est la valeur par défaut, on aura « Enregistrer la page/Enregistrer les modifications ».