diff options
Diffstat (limited to 'maintenance/CheckSignatures.php')
| -rw-r--r-- | maintenance/CheckSignatures.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/CheckSignatures.php b/maintenance/CheckSignatures.php index 5e5aeeab5edb..0f9b2160000e 100644 --- a/maintenance/CheckSignatures.php +++ b/maintenance/CheckSignatures.php @@ -19,6 +19,7 @@ * @ingroup Maintenance */ +use MediaWiki\Maintenance\Maintenance; use MediaWiki\Parser\ParserOptions; /** |