mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 10:59:56 +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
1 line
21 B
JavaScript
1 line
21 B
JavaScript
window.rangy = rangy; |