jQuery UI has been deprecated since 2017 and is now end of life.
https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeMirror/+/d6983e8a535b83f75249050ece84745ffca62150/extension.json#40
Please help us migrate away from it by working out the migration path for this code.