diff --git a/editor.php b/editor.php index 8aadeed..3a0ecd0 100644 --- a/editor.php +++ b/editor.php @@ -27,6 +27,7 @@ if (file_exists(dirname(__FILE__)."/plugins/jshint/jshint-2.5.6.min.js")) { + /addon/fold/foldgutter.css?microtime=">