From 0b37e809a6cd771c6ff903f87d67b32b5290385a Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sat, 1 Dec 2018 10:30:20 +0100
Subject: [PATCH] Use correct letter case

Found by PHPStan.

Change-Id: I31619e0fb1819939b5b64ed01c6959668b86870c
---
 includes/specials/pagers/BlockListPager.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/specials/pagers/BlockListPager.php b/includes/specials/pagers/BlockListPager.php
index 74ec6b55d3..e8a7d2d69d 100644
--- a/includes/specials/pagers/BlockListPager.php
+++ b/includes/specials/pagers/BlockListPager.php
@@ -224,7 +224,7 @@ class BlockListPager extends TablePager {
 						'ul',
 						[],
 						implode( '', array_map( function ( $prop ) {
-							return HTML::rawElement(
+							return Html::rawElement(
 								'li',
 								[],
 								$prop
@@ -264,7 +264,7 @@ class BlockListPager extends TablePager {
 				continue;
 			}
 
-			$items[] = HTML::rawElement(
+			$items[] = Html::rawElement(
 				'li',
 				[],
 				Linker::link( $restriction->getTitle() )
-- 
2.20.1