Fix for Bug #2387

diff --git a/lib/editor/lang/en.php b/lib/editor/lang/en.php
index dc0ef6eabd1cd3d8b7a1faf4f139e0201fcd86c3..6624b909c17665a8c20996509d9f84f38817dd51 100644 (file)
--- a/lib/editor/lang/en.php
+++ b/lib/editor/lang/en.php
@@ -6,8 +6,9 @@
     header("Content-type: application/x-javascript");  // Correct MIME type
     header("Last-Modified: " . gmdate("D, d M Y H:i:s", $lastmodified) . " GMT");
     header("Expires: " . gmdate("D, d M Y H:i:s", time() + $lifetime) . " GMT");
-    header("Cache-control: max_age = $lifetime");
-    header("Pragma: ");
+    // See Bug #2387
+    header("Cache-control: max_age = -1");
+    header("Pragma: no-cache");
 
 ?>
 // I18N constants