jenkins-bot has submitted this change and it was merged.
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
(cherry picked from commit 4dd58118ab494960faf9eea54f02c6cd7745c93b)
---
M RELEASE-NOTES-1.22
M includes/DefaultSettings.php
2 files changed, 3 insertions(+), 0 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
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 74847ee..8a77234 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/87419
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id5e96f5ed9dd532b33bc011104388a39f57277dd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.22wmf20
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
