mediawiki-extensions-Revisi.../modules
addshore f894286873 Map pointer colors to diff colours
The need for left-pointer and right-pointer should be cleaned up at
some stage.

Infact It may be wise to loose the distinction between left and right
pointer and simply have 2 pointers.

Bug: T134994
Change-Id: I68a2159bde6fff969ca54a79587cfe03ed783454
2016-05-13 11:23:05 +00:00
..
ext.RevisionSlider.css Map pointer colors to diff colours 2016-05-13 11:23:05 +00:00
ext.RevisionSlider.DiffPage.js Map pointer colors to diff colours 2016-05-13 11:23:05 +00:00
ext.RevisionSlider.fetchRevisions.js If the slider fails to load then fail nicely! 2016-05-12 09:46:39 +01:00
ext.RevisionSlider.init.js Show useful error if either rev is not in our range 2016-05-12 16:44:34 +01:00
ext.RevisionSlider.Pointer.js Create Slider module. 2016-05-10 17:38:46 +01:00
ext.RevisionSlider.PointerView.js Map pointer colors to diff colours 2016-05-13 11:23:05 +00:00
ext.RevisionSlider.Revision.js Use correct time offset based on server and user settings 2016-05-13 11:02:20 +00:00
ext.RevisionSlider.RevisionList.js Adds the missing first revision to the slider. 2016-05-12 15:25:37 +00:00
ext.RevisionSlider.RevisionListView.js Add size & minor flag to tooltip 2016-05-13 11:57:31 +01:00
ext.RevisionSlider.Slider.js add events to history 2016-05-12 08:36:28 +00:00
ext.RevisionSlider.SliderView.js Map pointer colors to diff colours 2016-05-13 11:23:05 +00:00