jenkins-bot has submitted this change and it was merged.
Change subject: Move WikiLove preference from Misc. to Editing tab
......................................................................
Move WikiLove preference from Misc. to Editing tab
Misc. is the worst tab ever in preferences and should be removed.
WikiLove has to do with Editing, so the Editing tab makes the most
sense to move it to.
Despite the name, editing/advancedediting is not a section called
"Advanced" but rather "General" so it seems to make sense as a new
home.
Bug: 52757
Change-Id: I77d79003b8b8f20ae2df24fe5e058dffb6a0399d
---
M WikiLove.hooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
01tonythomas: Looks good to me, but someone else must approve
Legoktm: Looks good to me, approved
Nemo bis: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/WikiLove.hooks.php b/WikiLove.hooks.php
index 9180dc3..654b520 100644
--- a/WikiLove.hooks.php
+++ b/WikiLove.hooks.php
@@ -42,7 +42,7 @@
if ( !$wgWikiLoveGlobal ) {
$preferences['wikilove-enabled'] = array(
'type' => 'check',
- 'section' => 'misc/user-pages',
+ 'section' => 'editing/advancedediting',
'label-message' => 'wikilove-enable-preference',
);
}
--
To view, visit https://gerrit.wikimedia.org/r/125942
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I77d79003b8b8f20ae2df24fe5e058dffb6a0399d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiLove
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: 01tonythomas <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Nemo bis <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
