diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2023-11-21 16:08:14 -0500 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2023-11-22 10:08:53 -0500 |
| commit | 67217d08df94ee83a9eeba13383b135af0e70455 (patch) | |
| tree | 17f79c05a2347ef48df487c88161875b2e8c235e /includes/revisiondelete | |
| parent | b2d4fd51bcb8a85654b6134437b36ead682ed9a1 (diff) | |
| download | mediawikicore-67217d08df94ee83a9eeba13383b135af0e70455.tar.gz mediawikicore-67217d08df94ee83a9eeba13383b135af0e70455.zip | |
Namespace remaining files under includes/deferred
Bug: T166010
Change-Id: Ibd40734b96fd2900e3ce12239d09becfb4150059
Diffstat (limited to 'includes/revisiondelete')
| -rw-r--r-- | includes/revisiondelete/RevDelList.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/revisiondelete/RevDelList.php b/includes/revisiondelete/RevDelList.php index 49633456b376..f3d32b9a9119 100644 --- a/includes/revisiondelete/RevDelList.php +++ b/includes/revisiondelete/RevDelList.php @@ -19,6 +19,7 @@ * @ingroup RevisionDelete */ +use MediaWiki\Deferred\DeferredUpdates; use MediaWiki\Page\PageIdentity; use MediaWiki\Revision\RevisionRecord; use MediaWiki\Status\Status; |