mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
4117126ed2
New changes: 40bf00bfc Make default source mode font easier to override ec9e8022e Update and fix all `@param config` and `@cfg` documentation Bug: T290176 Change-Id: I20ddb21c23ac817c500f7f854bd2bb5d88bf779c |
||
---|---|---|
.. | ||
proposal-promise-finally | ||
ve@ec9e8022e7 |