Index: core/ckeditor/ckeditor_php5.php
===================================================================
--- core/ckeditor/ckeditor_php5.php
+++ core/ckeditor/ckeditor_php5.php
@@ -20,11 +20,11 @@
 	/**
 	 * The version of %CKEditor.
 	 */
-	const version = '3.6.3';
+	const version = '4.2';
 	/**
 	 * A constant string unique for each release of %CKEditor.
 	 */
-	const timestamp = 'C3HA5RM';
+	const timestamp = 'D6IE';
 
 	/**
 	 * URL to the %CKEditor installation directory (absolute or relative to document root).
@@ -78,7 +78,7 @@
 	 * A string indicating the creation date of %CKEditor.
 	 * Do not change it unless you want to force browsers to not use previously cached version of %CKEditor.
 	 */
-	public $timestamp = "C3HA5RM";
+	public $timestamp = self::timestamp;
 	/**
 	 * An array that holds event listeners.
 	 */