edit: optionally load ckeditor from local install

Custom build can include used plugins and languages, saving deferred loads.

diff --git a/page.inc.php b/page.inc.php
index 80f773d30f0395fc40d4411c78d9e85d9e5dc10a..7d93a222818511c2113342e0355e181e87ad1d72 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -51,7 +51,11 @@ register_shutdown_function(function () {
 
        global $User;
        if (!empty($User['admin'])) {
-               print '<script src="//cdn.ckeditor.com/4.7.3/full-all/ckeditor.js"></script>'."\n";
+               $ckesrc = '/lib/ckeditor'; # local install
+               if (!file_exists(DOCROOT . $ckesrc)) {
+                       $ckesrc = '//cdn.ckeditor.com/4.7.3/full-all'; # remote fallback
+               }
+               printf('<script src="%s"></script>'."\n", "$ckesrc/ckeditor.js");
                print '<script src="/edit.js"></script>'."\n";
        }