$ckesrc = '//cdn.ckeditor.com/4.15.1/full-all'; # remote fallback
}
ob_start();
-printf("<script>var ckesrc = '%s'</script>\n", "$ckesrc/ckeditor.js");
-print '<script src="/edit/page.js"></script>'."\n";
+printf('<script src="/edit/page.js" data-ckesrc="%s"></script>'."\n", "$ckesrc/ckeditor.js");
$Page->head = ob_get_clean();