From 8e916e63882de4416d155211b970c29f3fe589ac Mon Sep 17 00:00:00 2001 From: Kevin Fenzi Date: Thu, 23 Nov 2017 05:56:05 +0000 Subject: [PATCH] enable WikiEditor. ticket 6521 --- roles/mediawiki/templates/LocalSettings.php.fp.j2 | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/roles/mediawiki/templates/LocalSettings.php.fp.j2 b/roles/mediawiki/templates/LocalSettings.php.fp.j2 index e9f4d6b115..574be60add 100644 --- a/roles/mediawiki/templates/LocalSettings.php.fp.j2 +++ b/roles/mediawiki/templates/LocalSettings.php.fp.j2 @@ -502,6 +502,16 @@ $wgStyleVersion = '273'; # Fedora Badges Extension require_once( "$IP/extensions/FedoraBadges/FedoraBadges.php" ); +wfLoadExtension( 'WikiEditor' ); +# Enables use of WikiEditor by default but still allows users to disable it in preferences +$wgDefaultUserOptions['usebetatoolbar'] = 1; +# Enables link and table wizards by default but still allows users to disable them in preferences +$wgDefaultUserOptions['usebetatoolbar-cgd'] = 1; +# Displays the Preview and Changes tabs +$wgDefaultUserOptions['wikieditor-preview'] = 1; +# Displays the Publish and Cancel buttons on the top right side +$wgDefaultUserOptions['wikieditor-publish'] = 1; + # OpenID Connect wfLoadExtension( 'PluggableAuth' ); wfLoadExtension( 'OpenIDConnect' );