From 5109fe66b9599d7e26c359a0f7f0da55fb3eabbe Mon Sep 17 00:00:00 2001 From: gerritbot Date: Sat, 6 May 2023 21:20:41 +0000 Subject: [PATCH] Update moved class EditPage See T321882. Moved in Ibefc44eb64aed Bug: T321681 Change-Id: I46fc958aa4b9b8406866e16f5f39624d62744465 --- extension.json | 2 +- includes/Hooks.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extension.json b/extension.json index 47c42406..6c93263c 100644 --- a/extension.json +++ b/extension.json @@ -10,7 +10,7 @@ "license-name": "GPL-2.0-or-later", "type": "antispam", "requires": { - "MediaWiki": ">= 1.37.0" + "MediaWiki": ">= 1.40.0" }, "GroupPermissions": { "sysop": { diff --git a/includes/Hooks.php b/includes/Hooks.php index 050a31f7..c425806c 100644 --- a/includes/Hooks.php +++ b/includes/Hooks.php @@ -10,9 +10,9 @@ namespace MediaWiki\Extension\TitleBlacklist; use ApiMessage; use ApiResult; -use EditPage; use Html; use ManualLogEntry; +use MediaWiki\EditPage\EditPage; use MediaWiki\Hook\EditFilterHook; use MediaWiki\Hook\MovePageCheckPermissionsHook; use MediaWiki\Hook\TitleGetEditNoticesHook;