Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/extensions/Graph/includes/Sandbox.php
Ðазад
<?php namespace Graph; use MediaWiki\Html\Html; use MediaWiki\SpecialPage\SpecialPage; class Sandbox extends SpecialPage { public const PAGENAME = 'GraphSandbox'; public function __construct() { parent::__construct( self::PAGENAME ); } /** * @inheritDoc */ protected function getGroupName() { return 'wiki'; } /** * Main execution function * @param string|null $par Parameters passed to the page */ public function execute( $par ) { $out = $this->getContext()->getOutput(); $this->setHeaders(); $this->addHelpLink( 'Extension:Graph/Guide' ); $out->addModules( 'ext.graph.sandbox' ); $out->addModuleStyles( [ 'ext.graph.sandbox.styles', 'ext.graph.styles' ] ); // Tell CodeEditor that this page is JSON (T143165) $out->addJsConfigVars( 'wgCodeEditorCurrentLanguage', 'json' ); $attr = ParserTag::buildDivAttributes( 'always' ); $attr['id'] = 'mw-graph-image'; $graphHtml = Html::rawElement( 'div', $attr, '' ); // FIXME: make this textarea readonly (but text should be selectable) $specHtml = '<div><textarea tabindex="1" accesskey="," id="wpTextbox1" cols="80" rows="40"' . ' style="" lang="en" dir="ltr" name="wpTextbox1" class="webfonts-changed"></textarea>' . '</div>'; $jsonHtml = '<div><textarea id="mw-graph-json"></textarea></div>'; $out->addHTML( Html::errorBox( $out->msg( 'graph-sandbox-requires-js' )->parse(), '', 'mw-graph-sandbox-nojs' ) ); $out->addHTML( Html::rawElement( 'div', [ 'id' => 'mw-graph-sandbox' ], Html::rawElement( 'div', [ 'id' => 'mw-graph-left' ], $graphHtml . $jsonHtml ) . Html::rawElement( 'div', [ 'id' => 'mw-graph-right' ], $specHtml ) ) ); } }
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка