diff --git a/tinyfilemanager.php b/tinyfilemanager.php index 6f55502..7643359 100644 --- a/tinyfilemanager.php +++ b/tinyfilemanager.php @@ -156,6 +156,7 @@ $external = array( 'css-font-awesome' => '', 'css-highlightjs' => '', 'js-ace' => '', + 'js-aceext-language_tools' => '', 'js-bootstrap' => '', 'js-dropzone' => '', 'js-jquery' => '', @@ -4163,10 +4164,18 @@ $isStickyNavBar = $sticky_navbar ? 'navbar-fixed' : 'navbar-normal'; $ext = $ext == "js" ? "javascript" : $ext; ?> +