mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 16:44:51 +00:00
a89896a500
This is no longer necessary and doesn't work after we ditched the iOS scrolling hacks in MobileFrontend. And the default implementation works! Bug: T218429 Change-Id: I5fba78a3877901dac5afda46d3004c07cad383d0 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |