WebJar for jQuery UI Slider Pips More info: http://webjars.org Upstream: https://github.com/simeydotme/jQuery-ui-Slider-Pips