edit/page: update remote ckeditor to version 4.15.1

Over 3 years since original implementation.
No notable config incompatibilities.

diff --git a/page.inc.php b/page.inc.php
index ae223f1a1f5383f6ca2dbf795f82a7eb27f87940..5753b649f43829eb9c5e8e70220770257b6b31e1 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -50,7 +50,7 @@ register_shutdown_function(function () {
        if ($User and $User->admin("edit $Page$Args")) {
                $ckesrc = '/lib/ckeditor'; # local install
                if (!file_exists(DOCROOT . $ckesrc)) {
-                       $ckesrc = '//cdn.ckeditor.com/4.7.3/full-all'; # remote fallback
+                       $ckesrc = '//cdn.ckeditor.com/4.15.1/full-all'; # remote fallback
                }
                printf("<script>var ckesrc = '%s'</script>\n", "$ckesrc/ckeditor.js");
                print '<script src="/edit/page.js"></script>'."\n";