USE INDEX is the option name, it's converted to MySQL-specific FORCE INDEX by the...

diff --git a/includes/specials/SpecialDeletedContributions.php b/includes/specials/SpecialDeletedContributions.php
index 513d25e..e72d400 100644 (file)
--- a/includes/specials/SpecialDeletedContributions.php
+++ b/includes/specials/SpecialDeletedContributions.php
@@ -36,7 +36,7 @@ class DeletedContribsPager extends IndexPager {
                                'ar_user', 'ar_user_text', 'ar_deleted'
                        ),
                        'conds' => $conds,
-                       'options' => array( 'FORCE INDEX' => $index )
+                       'options' => array( 'USE INDEX' => $index )
                );
        }