jquery/jquery-ui — pull request #761 by tjvantoll (2012-10-16 17:24:24+00:00)
Title: Button: Disabled anchor tag buttons should remain disabled after refresh...

.... Fixed #8237.