Tweak - title index better than user in these cases most likely
authorAaron Schulz <aaron@users.mediawiki.org>
Tue, 8 Apr 2008 09:18:38 +0000 (09:18 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Tue, 8 Apr 2008 09:18:38 +0000 (09:18 +0000)
includes/LogEventsList.php

index 3dada77..3db0c46 100644 (file)
@@ -494,10 +494,10 @@ class LogPager extends ReverseChronologicalPager {
                global $wgAllowLogDeletion;
                $log_id = $wgAllowLogDeletion ? 'log_id' : '0 AS log_id';
                # Don't use the wrong logging index
-               if( $this->user ) {
-                       $index = array( 'USE INDEX' => array( 'logging' => 'user_time' ) );
-               } else if( $this->title || $this->pattern ) {
+               if( $this->title || $this->pattern ) {
                        $index = array( 'USE INDEX' => array( 'logging' => 'page_time' ) );
+               } else if( $this->user ) {
+                       $index = array( 'USE INDEX' => array( 'logging' => 'user_time' ) );
                } else if( $this->type ) {
                        $index = array( 'USE INDEX' => array( 'logging' => 'type_time' ) );
                } else {