mediawiki-extensions-Revisi.../modules
addshore b86ceb02bf Also refresh the article preview
Change-Id: I8a96515db9a0dbe329000a51840ad2f365b5aba0
2016-05-13 11:23:20 +00:00
..
ext.RevisionSlider.css Map pointer colors to diff colours 2016-05-13 11:23:05 +00:00
ext.RevisionSlider.DiffPage.js Also refresh the article preview 2016-05-13 11:23:20 +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 Get rid of left and right pointers. 2016-05-13 11:23:11 +00:00
ext.RevisionSlider.PointerView.js Get rid of left and right pointers. 2016-05-13 11:23:11 +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 Get rid of left and right pointers. 2016-05-13 11:23:11 +00:00