Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/extensions/Graph/modules/ve-graph/ve.ui.MWGraphDialogTool.js
Ðазад
/** * MediaWiki UserInterface graph tool. * * @class * @extends ve.ui.FragmentWindowTool * @constructor * @param {OO.ui.ToolGroup} toolGroup * @param {Object} [config] Configuration options */ ve.ui.MWGraphDialogTool = function VeUiMWGraphDialogTool() { ve.ui.MWGraphDialogTool.super.apply( this, arguments ); }; /* Inheritance */ OO.inheritClass( ve.ui.MWGraphDialogTool, ve.ui.FragmentWindowTool ); /* Static properties */ ve.ui.MWGraphDialogTool.static.name = 'graph'; ve.ui.MWGraphDialogTool.static.group = 'object'; ve.ui.MWGraphDialogTool.static.icon = 'graph'; ve.ui.MWGraphDialogTool.static.title = OO.ui.deferMsg( 'graph-ve-dialog-button-tooltip' ); ve.ui.MWGraphDialogTool.static.modelClasses = [ ve.dm.MWGraphNode ]; ve.ui.MWGraphDialogTool.static.commandName = 'graph'; /* Registration */ ve.ui.toolFactory.register( ve.ui.MWGraphDialogTool ); /* Commands */ ve.ui.commandRegistry.register( new ve.ui.Command( 'graph', 'window', 'open', { args: [ 'graph' ], supportedSelections: [ 'linear' ] } ) );
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка