From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/specials/SpecialListredirects.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'includes/specials/SpecialListredirects.php') diff --git a/includes/specials/SpecialListredirects.php b/includes/specials/SpecialListredirects.php index de05be41..2df48347 100644 --- a/includes/specials/SpecialListredirects.php +++ b/includes/specials/SpecialListredirects.php @@ -72,7 +72,7 @@ class ListredirectsPage extends QueryPage { /** * Cache page existence for performance * - * @param DatabaseBase $db + * @param IDatabase $db * @param ResultWrapper $res */ function preprocessResults( $db, $res ) { -- cgit v1.2.3-54-g00ecf