This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-VisualEditor
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-VisualEditor
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced
2024-11-15 10:35:48 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
0342eb034d
mediawiki-extensions-Visual...
/
modules
/
sandbox
History
Trevor Parscal
0342eb034d
Fixed help panel content where we claimed the alt key was to be used for word/block selection, but it should have been ctrl/option key - also changed clt to ctrl.
2011-12-14 19:15:02 +00:00
..
base.php
Fixed help panel content where we claimed the alt key was to be used for word/block selection, but it should have been ctrl/option key - also changed clt to ctrl.
2011-12-14 19:15:02 +00:00
sandbox.css
Moved toolbar floating code to sandbox.js - using a wrapper instead of a spacer to avoid resize events causing scroll events which cause a nasty loop
2011-12-12 23:41:15 +00:00
sandbox.js
Renamed, merged and disabled some example documents
2011-12-13 17:49:42 +00:00
special.js
add buglist ang bug reporting links to feedback form
2011-12-14 01:32:07 +00:00