Bartosz Dziewoński has uploaded a new change for review.
https://gerrit.wikimedia.org/r/87024
Change subject: Add missing default true value for 'vector-simplesearch'
preference
......................................................................
Add missing default true value for 'vector-simplesearch' preference
It was off and only enabled (unconditionally) by the Vector extension
which is being killed off per bug 45051. The preference was added in
r68177, moved to core in r68224.
Change-Id: Id5e96f5ed9dd532b33bc011104388a39f57277dd
---
M RELEASE-NOTES-1.22
M includes/DefaultSettings.php
2 files changed, 3 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/24/87024/1
diff --git a/RELEASE-NOTES-1.22 b/RELEASE-NOTES-1.22
index 0e3e222..7933e06 100644
--- a/RELEASE-NOTES-1.22
+++ b/RELEASE-NOTES-1.22
@@ -56,6 +56,8 @@
multiple destinations to be specified.
* (bug 53862) portal-url, currentevents-url and helppage have been removed
from the
default Sidebar.
+* The 'vector-simplesearch' preference is now enabled by default. Previously
+ it was only enabled if the Vector extension was installed.
=== New features in 1.22 ===
* (bug 44525) mediawiki.jqueryMsg can now parse (whitelisted) HTML elements
and attributes.
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 89e6c87..19b2f41 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -4004,6 +4004,7 @@
'underline' => 2,
'uselivepreview' => 0,
'usenewrc' => 0,
+ 'vector-simplesearch' => 1,
'watchcreations' => 0,
'watchdefault' => 0,
'watchdeletion' => 0,
--
To view, visit https://gerrit.wikimedia.org/r/87024
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id5e96f5ed9dd532b33bc011104388a39f57277dd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
