mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-12 06:27:01 +00:00
282d075e0c
There's nothing we can do about missing edit buttons - they are likely being scrubbed by some script or gadget, so let's not report the error. Bug: T314952 Change-Id: Icf778074026a24561c228cbf11e583062571d0cb |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
preinit | ||
tests | ||
themes | ||
ui |