diff options
author | Reedy <reedy@wikimedia.org> | 2021-09-30 19:31:22 +0100 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2021-09-30 19:31:22 +0100 |
commit | 7ab9dfd49753add941e0d79378c34b96352ffd16 (patch) | |
tree | 6e43b9c522ec7788384ad29c64a313489c198704 | |
parent | 8d00acfb43e9bd03ba7711126b03e9e6eaa918d5 (diff) |
Remove unused use statementREL1_31
Change-Id: I73a254930966a4d276b286da441fc651e941003c
Follows-Up: I8b7b41a355be265389a4a8c9ea91301d4e23ae1b
-rw-r--r-- | includes/specials/SpecialContributions.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/includes/specials/SpecialContributions.php b/includes/specials/SpecialContributions.php index 0a9ddd740aba..15278eae82ab 100644 --- a/includes/specials/SpecialContributions.php +++ b/includes/specials/SpecialContributions.php @@ -21,7 +21,6 @@ * @ingroup SpecialPage */ -use MediaWiki\MediaWikiServices; use MediaWiki\Widget\DateInputWidget; /** |