diff -r 3d4e9c994f10 -r a86126ab1dd4 wp/wp-includes/customize/class-wp-customize-code-editor-control.php
--- a/wp/wp-includes/customize/class-wp-customize-code-editor-control.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-code-editor-control.php	Tue Dec 15 13:49:49 2020 +0100
@@ -65,6 +65,7 @@
 	 * Refresh the parameters passed to the JavaScript via JSON.
 	 *
 	 * @since 4.9.0
+	 *
 	 * @see WP_Customize_Control::json()
 	 *
 	 * @return array Array of parameters passed to the JavaScript.