mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 07:15:32 +00:00
f7fe245018
Mobile needs to use a different sessionid Change-Id: Iffac3d523b4c5774a23ddbe1a2d7ee380ac1b012 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |