From 9773b9304c28e6d764846b7afd87207bba509ff6 Mon Sep 17 00:00:00 2001 From: Domas Mituzas Date: Thu, 29 Dec 2005 22:58:08 +0000 Subject: [PATCH] use times index for all-logs page, if it exists, on mysql, ... --- includes/SpecialLog.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/includes/SpecialLog.php b/includes/SpecialLog.php index f41269f661..9e747d4b23 100644 --- a/includes/SpecialLog.php +++ b/includes/SpecialLog.php @@ -148,6 +148,9 @@ class LogReader { log_user, user_name, log_namespace, log_title, page_id, log_comment, log_params FROM $user, $logging "; + if ($this->type=="" && $this->db->indexExists('logging','times')) { + $sql .= ' /*! FORCE INDEX (times) */ '; + } if( !empty( $this->joinClauses ) ) { $sql .= implode( ',', $this->joinClauses ); } -- 2.20.1