Jump to content

Manuel:$wgEditSubmitButtonLabelPublish

From mediawiki.org
This page is a translated version of the page Manual:$wgEditSubmitButtonLabelPublish and the translation is 100% complete.
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

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 ».