Manual:$wgEditSubmitButtonLabelPublish/fr
| 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 ».