mediawiki-extensions-Visual.../SpecialVisualEditorSandbox.php
2011-12-11 23:28:29 +00:00

66 lines
2 KiB
PHP

<?php
/**
* Sandbox SpecialPage for VisualEditor extension
*
* @file
* @ingroup Extensions
*/
class SpecialVisualEditorSandbox extends SpecialPage {
/* Methods */
public function __construct() {
parent::__construct( 'VisualEditorSandbox' );
}
public function execute( $par ) {
global $wgOut;
$wgOut->addModules( 'ext.visualEditor.sandbox' );
$this->setHeaders();
$wgOut->setPageTitle( wfMsg( 'visualeditor-sandbox-title' ) );
$modeWikitext = wfMsgHtml( 'visualeditor-tooltip-wikitext' );
$modeJson = wfMsgHtml( 'visualeditor-tooltip-json' );
$modeHtml = wfMsgHtml( 'visualeditor-tooltip-html' );
$modeRender = wfMsgHtml( 'visualeditor-tooltip-render' );
$modeHistory = wfMsgHtml( 'visualeditor-tooltip-history' );
$out = <<<HTML
<!-- VisualEditor Sandbox -->
<div id="es-docs">
<div id="es-docs-label">Example documents:</div>
<ul id="es-docs-list" ></ul>
</div>
<div id="es-base">
<div id="es-toolbar" class="es-toolbar">
<div id="es-modes" class="es-modes">
<div id="es-mode-wikitext" class="es-modes-button" title="$modeWikitext"></div>
<div id="es-mode-json" class="es-modes-button" title="$modeJson"></div>
<div id="es-mode-html" class="es-modes-button" title="$modeHtml"></div>
<div id="es-mode-render" class="es-modes-button" title="$modeRender"></div>
<div id="es-mode-history" class="es-modes-button" title="$modeHistory"></div>
</div>
<div style="clear:both"></div>
<div id="es-toolbar-shadow"></div>
</div>
<div id="es-panes">
<div id="es-visual">
<div id="es-editor"></div>
</div>
<div id="es-panels">
<div id="es-panel-wikitext" class="es-panel es-code"></div>
<div id="es-panel-json" class="es-panel es-code"></div>
<div id="es-panel-html" class="es-panel es-code"></div>
<div id="es-panel-render" class="es-panel es-render"></div>
<div id="es-panel-history" class="es-panel es-code"></div>
</div>
<div style="clear:both"></div>
</div>
</div>
<!-- /VisualEditor Sandbox -->
HTML;
$wgOut->addHtml( $out );
}
}