mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/RevisionSlider
synced 2024-12-13 15:58:27 +00:00
4d8949533f
This also allows pointer to be dragged past the other. In such case pointer colour changes while dragging, but pointer orientation/position is only updated after dragging is finished (along with reloading diff etc). Bug: T134994 Bug: T134996 Change-Id: Ia333306b5b0a488a4f8e92ac4b1b843dc4863d47
5 lines
200 B
XML
5 lines
200 B
XML