mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +00:00
67f304a414
New changes: c4ce5ee Update OOjs UI to v0.1.0-pre (466a8762ac) Update changes: * Remove manager arugment from window constructors * Use this.$content instead of this.frame.$content * Use this.getDir() instead of this.frame.getDir() * this.loading is now a promise, not a boolean Change-Id: Ia83449a60078dd24ea4f976221c0859e5a121279 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspector.js | ||
ve.ui.MWExtensionInspector.js | ||
ve.ui.MWGalleryInspector.js | ||
ve.ui.MWLinkAnnotationInspector.js | ||
ve.ui.MWLinkNodeInspector.js | ||
ve.ui.MWLiveExtensionInspector.js |