Merge "jquery.badge: Align with Echo notifications style and WikimediaUI palette"
[lhc/web/wiklou.git] / maintenance / populatePPSortKey.php
index 7e3c2c3..366905a 100644 (file)
@@ -23,8 +23,6 @@
 
 require_once __DIR__ . '/Maintenance.php';
 
-use Wikimedia\Rdbms\IDatabase;
-
 /**
  * Usage:
  *  populatePPSortKey.php