From 953ec2f2cfba84b648dff3f0045167b5e747b91f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Burnichon?= Date: Tue, 3 Nov 2015 18:24:19 +0100 Subject: [PATCH] Properly remove thesaurus from array cache --- lib/classes/databox.php | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/classes/databox.php b/lib/classes/databox.php index a00a6eeb63..35e555ae4d 100644 --- a/lib/classes/databox.php +++ b/lib/classes/databox.php @@ -1532,6 +1532,7 @@ class databox extends base implements ThumbnailedElement break; case self::CACHE_THESAURUS: $this->thesaurus = null; + unset(self::$_dom_thesaurus[$this->id]); break; default: break;