Patch to select2.js and WhAceEditor.php