Chad has uploaded a new change for review.
https://gerrit.wikimedia.org/r/125942
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikiLove
refs/changes/42/125942/1
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: newchange
Gerrit-Change-Id: I77d79003b8b8f20ae2df24fe5e058dffb6a0399d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiLove
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
