wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Show createpage preference only when feature is available

Browse source 
Bug: T310053
Change-Id: I13262ecbe2d2c45c0ffb8706da17bc806ab2a5b7
This commit is contained in:
na1307 2022-06-07 18:59:15 +09:00
parent 790ef19cd3
commit edb276e047
No known key found for this signature in database
GPG key ID: 569FA09548161BA5
1 changed files with 15 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Hooks/PreferenceHooks.php
View file

@ -83,7 +83,6 @@ class PreferenceHooks implements
'help-message' => "discussiontools-preference-$feature-help",
'section' => 'editing/discussion',
];
}
// Option to enable/disable new topic tool on pages that haven't been created
// (it's inside this loop to place the options in a nice order)
@ -101,6 +100,7 @@ class PreferenceHooks implements
];
}
}
}
if ( isset( $preferences['discussiontools-' . HookUtils::SOURCEMODETOOLBAR] ) && (
isset( $preferences['discussiontools-' . HookUtils::REPLYTOOL] ) ||