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

Merge "Cast 'discussiontools-betaenable' preference to bool"

Browse source
This commit is contained in:
jenkins-bot 2021-11-24 12:56:05 +00:00 committed by Gerrit Code Review
parent d344336947 a38e1941e3
commit 38c38b8201
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Hooks/HookUtils.php
View file

@ -85,7 +85,7 @@ class HookUtils {
// betaenable doesn't have a default value, so we can check
// for it being unset like this. If the user has explicitly
// enabled or disabled it, we should immediately return that.
return $betaenabled;
return (bool)$betaenabled;
}
// Otherwise, being in the "test" group for this feature means
// it's effectively beta-enabled.