wikimedia/mediawiki-extensions-RevisionSlider
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RevisionSlider synced 2024-11-15 11:40:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add type hints to getBetaFeaturePreferences

Browse source 
Change-Id: I3f72dbfae1e35a65789a420a71a7aab4f49ad05b
This commit is contained in:
Leszek Manicki 2016-08-19 12:05:17 +02:00
parent 2a00a235cf
commit 4f81f54272
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RevisionSlider.hooks.php
View file

@ -106,7 +106,7 @@ class RevisionSliderHooks {
return true;
}
public static function getBetaFeaturePreferences( $user, &$prefs ) {
public static function getBetaFeaturePreferences( User $user, array &$prefs ) {
global $wgExtensionAssetsPath;
$prefs['revisionslider'] = [