Changelog of version 1.31.3

Other

• Added option “Don’t load a theme” to jQuery UI theme selector to make it clearer how to avoid loading any of the provided jQuery UI themes