From dd363674c2ea2dc3998864fb3f6057947276828c Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Thu, 3 Dec 2020 20:00:01 +0100
Subject: [PATCH] edit/page: update remote ckeditor to version 4.15.1

Over 3 years since original implementation.
No notable config incompatibilities.
---
 page.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/page.inc.php b/page.inc.php
index ae223f1..5753b64 100644
--- 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";
-- 
2.30.0