#4109 (Ajax tabs: spinner option issues) – jQuery UI