mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 23:31:02 +00:00
37 lines
957 B
PHP
37 lines
957 B
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.special.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' );
|
|
$modeHelp = wfMsgHtml( 'visualeditor-tooltip-help' );
|
|
|
|
$dir = dirname( __FILE__ );
|
|
ob_start();
|
|
include( 'modules/sandbox/base.php' );
|
|
$out = ob_get_clean();
|
|
$wgOut->addHtml( $out );
|
|
}
|
|
}
|