wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-28 17:00:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Cite/js/lib
History
Gabriel Wicke f4841b86ab Reset the Cite extension state with the end token 
This should hopefully fix some spurious semantic diffs that are purely based
on ref numbering, which changes if the references are not reset.

Change-Id: I37b1f4cfe69538e1c5ccc81fdad3084c01151700
2012-11-16 10:04:35 -08:00
..
ext.Cite.js Reset the Cite extension state with the end token 2012-11-16 10:04:35 -08:00