Delete old cached texts on a cleanup

diff --git a/admin/cron.php b/admin/cron.php
index bd73bc78d14adae013062ea73daaba5086b2f121..ca028cb9d63b6caaf9a8443b66adabd98a97e7d7 100644 (file)
--- a/admin/cron.php
+++ b/admin/cron.php
@@ -96,6 +96,13 @@
             $loglifetime = $timenow - ($CFG->loglifetime * 3600 * 24);
             delete_records_select("log", "time < '$loglifetime'");
         }
+
+        /// Delete old cached texts
+
+        if (!empty($CFG->cachetext)) {   // Defined in config.php
+            $cachelifetime = time() - $CFG->cachetext;
+            delete_records_select("text_cache", "timemodified < '$cachelifetime'");
+        }
     }
 
     if (file_exists("$CFG->dataroot/cronextra.php")) {