From 0f043e5cba58b730550542d257cada71a88790e4 Mon Sep 17 00:00:00 2001 From: Siebrand Mazeland Date: Tue, 3 Aug 2010 19:15:23 +0000 Subject: [PATCH] Use int: to keep references consistent. --- includes/installer/Installer.i18n.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/includes/installer/Installer.i18n.php b/includes/installer/Installer.i18n.php index 737f6f0063..4cbaf70885 100644 --- a/includes/installer/Installer.i18n.php +++ b/includes/installer/Installer.i18n.php @@ -354,11 +354,11 @@ In MediaWiki, it is easy to review the recent changes, and to revert any damage However, many have found MediaWiki to be useful in a wide variety of roles, and sometimes it is not easy to convince everyone of the benefits of the wiki way. So you have the the choice. -A '''traditional wiki''' allows anyone to edit, without even logging in. -A wiki with '''account creation required''' provides extra accountability, but may deter casual contributors. +A '''{{int:config-profile-wiki}}''' allows anyone to edit, without even logging in. +A wiki with '''{{int:config-profile-no-anon}}''' provides extra accountability, but may deter casual contributors. -The '''authorized editors only''' scenario allows approved users to edit, but the public can view the pages, including history. -A '''private wiki''' only allows approved users to view pages, with the same group allowed to edit. +The '''{{int:config-profile-fishbowl}}''' scenario allows approved users to edit, but the public can view the pages, including history. +A '''{{int:config-profile-private}}''' only allows approved users to view pages, with the same group allowed to edit. More complex user rights configurations are available after installation, see the [http://www.mediawiki.org/wiki/Manual:User_rights relevant manual entry].", 'config-license' => 'Copyright and license:', -- 2.20.1