jquery-ui version mismatch

[robertmathews]

In inc/Base/Enqueue.php, there is:

24:		wp_enqueue_style('jquery-ui', parent::$plugin_url . 'scripts/jquery-ui-1.13.1/jquery-ui.min.css');
30:		wp_enqueue_script('jquery-ui', parent::$plugin_url . 'scripts/jquery-ui-1.13.1/jquery-ui.min.js', array(), false, true);

However, in the "scripts" directory, the version is "jquery-ui-1.12.1":

wp-todo/scripts$ ls
DataTables		css			jquery-ui-1.12.1	js

This causes "404 not found" results for the script:

[02/Aug/2022:08:54:30 -0700] "GET /wp-content/plugins/wp-todo/scripts/jquery-ui-1.13.1/jquery-ui.min.css HTTP/1.1" 404

[robertmathews]

More specifically: the version of 1.2.7 on GitHub contains "scripts/jquery-ui-1.13.1", but the version on https://plugins.trac.wordpress.org/browser/wp-todo/trunk?order=name contains "scripts/jquery-ui-1.12.1". It appears that a change committed to git was not committed to WordPress svn.