wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-02 01:46:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init
History
Roan Kattouw 66a94861e6 Followup 4bd80b62: fix JS error on page save 
Remove stray access to removed this.timings property.

Bug: 62508
Change-Id: I9a6fb802302bbc25ff3e9a657b983d98a0de7fd2
2014-03-10 22:12:07 +00:00
..
styles Deal with 'none'/'border' and default size in media edit 2014-03-05 03:53:46 +00:00
targets Followup 4bd80b62: fix JS error on page save 2014-03-10 22:12:07 +00:00
ve.init.mw.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.init.mw.Platform.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.init.mw.Target.js Abstract tracking and specify which target it came from 2014-03-06 09:50:11 -08:00
ve.init.mw.TargetEvents.js Abstract tracking and specify which target it came from 2014-03-06 09:50:11 -08:00