Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/extensions/VisualEditor/lib/ve/src/ui/windowmanagers/ve.ui.DesktopInspectorWindowManager.js
Ðазад
/*! * VisualEditor UserInterface DesktopInspectorWindowManager class. * * @copyright See AUTHORS.txt */ /** * Window manager for desktop inspectors. * * @class * @extends ve.ui.SurfaceWindowManager * * @constructor * @param {ve.ui.Surface} surface Surface this belongs to * @param {Object} [config] Configuration options * @param {ve.ui.Overlay} [config.overlay] Overlay to use for menus */ ve.ui.DesktopInspectorWindowManager = function VeUiDesktopInspectorWindowManager( surface, config ) { // Parent constructor ve.ui.DesktopInspectorWindowManager.super.call( this, surface, config ); }; /* Inheritance */ OO.inheritClass( ve.ui.DesktopInspectorWindowManager, ve.ui.SurfaceWindowManager ); /* Static Properties */ ve.ui.DesktopInspectorWindowManager.static.sizes = { small: { width: 200, maxHeight: '100%' }, medium: { width: 300, maxHeight: '100%' }, large: { width: 400, maxHeight: '100%' }, full: { // These can be non-numeric because they are never used in calculations width: '100%', height: '100%' } };
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка