“price range slider” is another name for Range slider.