mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-11 05:56:11 +00:00
e722c1726f
New changes: 5eb7294 Find and replace 123a6ad Find and replace tool 557f70f Go backwards through find and replace results on shift enter 4a4ed81 Allow language widget to filter on available languages Local changes to adjust. Change-Id: I15e14d6d3c7ee60e465baf3a4df7572851cbca3e |
||
---|---|---|
.. | ||
ve.init.mw.MobileViewTarget.js | ||
ve.init.mw.ViewPageTarget.init.js | ||
ve.init.mw.ViewPageTarget.js |