wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/init
History
Ed Sanders eeb1f3a142 Implement 'minordefault' user preference 
Marks all edits as minor by default if the user preference is set.

Bug: 48347
Change-Id: Ib5cdcb9433be5ff7b9179d3833f42e5c3453285a
2013-05-15 13:40:54 +01:00
..
mw Implement 'minordefault' user preference 2013-05-15 13:40:54 +01:00
sa Floating toolbar cleanup 2013-05-14 12:43:30 -07:00
ve.init.js Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.init.Platform.js EventEmitter API cleanup 2013-05-02 15:05:59 -07:00
ve.init.Target.js Floating toolbar cleanup 2013-05-14 12:43:30 -07:00