* @ingroup SpecialPage
*/
-use Wikimedia\Rdbms\ResultWrapper;
+use Wikimedia\Rdbms\IResultWrapper;
/**
* Special page allowing users with the appropriate permissions to view
/**
* Generic list of deleted pages
*
- * @param ResultWrapper $result
+ * @param IResultWrapper $result
* @return bool
*/
private function showList( $result ) {