wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/inspectors
History
Ed Sanders 06ad00bf71 Simplify context item for MWAlienExtensionNodes 
Just show the name of extension. 'MediaWiki extension' is meaningless
to most people.

Change-Id: I64dc4914874b3fb3f807d7e0155ad31f2a8e703e
2015-03-27 19:05:26 +00:00
..
ve.ui.MWAlienExtensionInspector.js Simplify context item for MWAlienExtensionNodes 2015-03-27 19:05:26 +00:00
ve.ui.MWExtensionInspector.js Remove unused ve.ui.*Inspector.static.removable = false; 2015-03-12 19:31:46 +01:00
ve.ui.MWGalleryInspector.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWLinkAnnotationInspector.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWLinkNodeInspector.js Remove unused ve.ui.*Inspector.static.removable = false; 2015-03-12 19:31:46 +01:00
ve.ui.MWLiveExtensionInspector.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00