Hi all,
Following the workaround given by nitro2012pl and the suggestion from romarcio, I have removed the tabs “HTML” and “Visual” from the editor, using this code inserted in the functions.php of my theme (code found here):
//Hide Post Page Options from ALL users
function hide_all_post_page_options() {
global $post;
$hide_all_post_options = "<style type=\"text/css\"> #content-html, #content-tmce { display: none !important; }</style>";
print($hide_all_post_options);
}
add_action( 'admin_head', 'hide_all_post_page_options' );
So my users won’t be stuck in the “HTML” tab after the renaming of editor.min.js because this tab is not displayed anymore. Of course I’ll put my site on maintenance mode before doing the changes, so when my users will come back, they will only see the CKEditor toolbar, and they can use CKEditor Source button to switch to HTML.
Thanks nitro2012pl and romarcio!