--- a/wp/wp-admin/css/code-editor-rtl.css	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-admin/css/code-editor-rtl.css	Tue Dec 15 13:49:49 2020 +0100
@@ -1,3 +1,4 @@
+/*! This file is auto-generated */
 .wrap [class*="CodeMirror-lint-marker"],
 .wp-core-ui [class*="CodeMirror-lint-message"],
 .wrap .CodeMirror-lint-marker-multiple {