mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
5be6d0d40f
This gets us some new functionality, mainly the ability to get a position from a point on screen. Changes: * Updated core and position * Removed unused modules Change-Id: I2145fe549c975fdbbcd7dfcf144afb26509d0050 |
||
---|---|---|
.. | ||
rangy-core.js | ||
rangy-export.js | ||
rangy-position.js |