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 |
When $wgEditSubmitButtonLabelPublish is true, MediaWiki will label the button to store-to-database-and-show-to-others as "Publish page"/"Publish changes". If false, the default, they will be "Save page"/"Save changes".