diff options
Diffstat (limited to 'includes/revisiondelete/RevDelList.php')
| -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; |