Issue #2254319 by quicksketch, jhedstrom: jQuery UI Spinner CSS file not added in system_library_info()