borisyankov/DefinitelyTyped — pull request #2514 by dduugg (2014-07-16 00:28:44+00:00)
Title: Fix JQueryUI Slider definitions

Based on http://api.jqueryui.com/slider/ and confirmed in usage. The uncommented SliderOptions members were commented out in f9be59c5bd when they were mistakenly defined as methods. The methods were removed two weeks later in b824ffb0f3, but the comments were not removed to restore value & values as (non-method) members.