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
3939 commits 161 branches 1 tag 190 MiB
Commit graph

2 commits

Author SHA1 Message Date
Trevor Parscal 6a3bb91252 Added saving "spinner" icon to save dialog 
Change-Id: Ie6ef43378b1a0a18c504efe7bb850d7c9de1bbeb
 2012-08-17 16:10:14 -07:00
Trevor Parscal 53e9258280 Added ve.init.platform with MediaWiki and stand-alone implementations 
This should make it much simpler to keep MediaWiki specifics out of VisualEditor, which will in turn make it easier to integrate VisualEditor into another platform.

Change-Id: I073e9737b37c28af889f2457d10b082cefd0d63b
 2012-07-27 13:39:19 -07:00