Rangeslider: Implement Classes Option

deprecate mini option

Fixes jquery-archivegh-7717

js/widgets/forms/rangeslider.js

@@ -25,11 +25,11 @@ define( [ "jquery",
 				"ui-rangeslider-first": "",
 				"ui-rangeslider-last": ""
 			},
-
+			highlight: true,
+
 			// deprecated in 1.5
 			corners: true,
-			mini: false,
-			highlight: true
+			mini: false
 		},
 
 		_create: function() {
@@ -49,6 +49,12 @@ define( [ "jquery",
 
 			this._addClass( _inputFirst, "ui-rangeslider-first" );
 			this._addClass( _inputLast, "ui-rangeslider-last" );
+
+			// deprecated in 1.5
+			if ( this.options.mini ) {
+				this.options.classes[ "ui-rangeslider" ] += " ui-mini";
+			}
+
 			this._addClass( "ui-rangeslider" );
 
 			_sliderFirst.appendTo( _sliders );
@@ -145,10 +151,6 @@ define( [ "jquery",
 				this._setTrackTheme( options.trackTheme );
 			}
 
-			if ( options.mini !== undefined ) {
-				this._setMini( options.mini );
-			}
-
 			if ( options.highlight !== undefined ) {
 				this._setHighlight( options.highlight );
 			}
@@ -252,12 +254,6 @@ define( [ "jquery",
 			this._inputLast.slider( "option", "trackTheme", value );
 		},
 
-		_setMini: function( value ) {
-			this._inputFirst.slider( "option", "mini", value );
-			this._inputLast.slider( "option", "mini", value );
-			this.element.toggleClass( "ui-mini", !!value );
-		},
-
 		_setHighlight: function( value ) {
 			this._inputFirst.slider( "option", "highlight", value );
 			this._inputLast.slider( "option", "highlight", value );