This fixes a bug with the dropdown menus on the theme logo picker page. This bug has actually been fixed in the source code of jquery-ui (https://github.com/jquery/jquery-ui/pull/2144), but until it's live, this hack will have to do.
While I was at it, I updated our jquery-ui version from 1.13.0 to 1.13.2, which just included a bunch of random fixes (1.13.1 changelog, 1.13.2 changelog).
This fixes a bug with the dropdown menus on the theme logo picker page. This bug has actually been fixed in the source code of jquery-ui (https://github.com/jquery/jquery-ui/pull/2144), but until it's live, this hack will have to do.
While I was at it, I updated our jquery-ui version from 1.13.0 to 1.13.2, which just included a bunch of random fixes (1.13.1 changelog, 1.13.2 changelog).
Fixes https://github.com/learning-unlimited/ESP-Website/issues/3679.