jenkins-bot has submitted this change and it was merged.
Change subject: VE: Rename parent tool
......................................................................
VE: Rename parent tool
Depends on I3a0e761f0 in core.
Change-Id: I1e400eebd14e739b6a2832cc447ec090cd7ac38d
---
M modules/ve-wikihiero/ve.ui.MWHieroInspectorTool.js
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ve-wikihiero/ve.ui.MWHieroInspectorTool.js
b/modules/ve-wikihiero/ve.ui.MWHieroInspectorTool.js
index 46b3945..79efef9 100644
--- a/modules/ve-wikihiero/ve.ui.MWHieroInspectorTool.js
+++ b/modules/ve-wikihiero/ve.ui.MWHieroInspectorTool.js
@@ -4,15 +4,15 @@
* MediaWiki UserInterface hieroglyphics tool.
*
* @class
- * @extends ve.ui.InspectorTool
+ * @extends ve.ui.FragmentInspectorTool
* @constructor
* @param {OO.ui.ToolGroup} toolGroup
* @param {Object} [config] Configuration options
*/
-ve.ui.MWHieroInspectorTool = function VeUiMWHieroInspectorTool( toolGroup,
config ) {
- ve.ui.InspectorTool.call( this, toolGroup, config );
+ve.ui.MWHieroInspectorTool = function VeUiMWHieroInspectorTool() {
+ ve.ui.MWHieroInspectorTool.super.apply( this, arguments );
};
-OO.inheritClass( ve.ui.MWHieroInspectorTool, ve.ui.InspectorTool );
+OO.inheritClass( ve.ui.MWHieroInspectorTool, ve.ui.FragmentInspectorTool );
ve.ui.MWHieroInspectorTool.static.name = 'hiero';
ve.ui.MWHieroInspectorTool.static.group = 'object';
ve.ui.MWHieroInspectorTool.static.icon = 'hiero';
--
To view, visit https://gerrit.wikimedia.org/r/258489
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1e400eebd14e739b6a2832cc447ec090cd7ac38d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/wikihiero
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
