From 4f81f5427271d2795852635000600a720c63f61d Mon Sep 17 00:00:00 2001
From: Leszek Manicki <leszek.manicki@wikimedia.de>
Date: Fri, 19 Aug 2016 12:05:17 +0200
Subject: [PATCH] Add type hints to getBetaFeaturePreferences

Change-Id: I3f72dbfae1e35a65789a420a71a7aab4f49ad05b
---
 RevisionSlider.hooks.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RevisionSlider.hooks.php b/RevisionSlider.hooks.php
index cd6104bc..c138b9f4 100644
--- a/RevisionSlider.hooks.php
+++ b/RevisionSlider.hooks.php
@@ -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'] = [