1
0
www.mikescher.com/www/fragments/widget_bfjoust.php

50 lines
1.9 KiB
PHP
Raw Permalink Normal View History

2017-12-31 02:05:50 +01:00
<?php
2020-01-17 00:25:29 +01:00
require_once (__DIR__ . '/../internals/website.php');
/** @var PageFrameOptions $FRAME_OPTIONS */ global $FRAME_OPTIONS;
/** @var URLRoute $ROUTE */ global $ROUTE;
/** @var Website $SITE */ global $SITE;
global $FRAGMENT_PARAM;
/** @var array $parameter */
$parameter = $FRAGMENT_PARAM;
$codeLeft = $parameter['code_left'];
$codeRight = $parameter['code_right'];
2017-12-31 02:05:50 +01:00
2018-01-01 23:03:05 +01:00
$result = '';
$result .= '<div class="bfjoust_runner_owner">' . "\n";
$result .= ' <div class="hsplit">' . "\n";
2020-01-17 00:25:29 +01:00
$result .= ' <textarea class="hsplit_1 source" id="source_1">' . htmlspecialchars($codeLeft) . '</textarea>' . "\n";
$result .= ' <textarea class="hsplit_2 source" id="source_2">' . htmlspecialchars($codeRight) . '</textarea>' . "\n";
2018-01-01 23:03:05 +01:00
$result .= ' </div>' . "\n";
$result .= ' <div id="commandpanel">' . "\n";
$result .= ' <div>' . "\n";
$result .= ' <div>' . "\n";
$result .= ' <a href="#" id="a_expand">expand</a>|<a href="#" id="a_collapse">collapse</a>|<a href="#" id="a_run">run</a>' . "\n";
$result .= ' (size:<input type="number" id="run_size" min="10" max="30" value="30" width="30"> speed:<input type="number" id="run_speed" min="0" max="10000" value="10">)' . "\n";
$result .= ' | <a href="#" id="a_stop">stop</a> | <a href="#" id="a_arena">arena</a>' . "\n";
$result .= ' </div>' . "\n";
$result .= ' </div>' . "\n";
$result .= ' </div>' . "\n";
$result .= ' <div class="hsplit">' . "\n";
$result .= ' <textarea class="hsplit_1 sink" id="sink_1"></textarea>' . "\n";
$result .= ' <textarea class="hsplit_2 sink" id="sink_2"></textarea>' . "\n";
$result .= ' </div>' . "\n";
$result .= ' <div class="hsplit">' . "\n";
$result .= ' <canvas class="hsplit_1 bottomelem" id="board"></canvas>' . "\n";
$result .= ' <textarea class="hsplit_2 bottomelem" id="log" wrap="off"> </textarea>' . "\n";
$result .= ' </div>' . "\n";
$result .= '</div>' . "\n";
$result .= '' . "\n";
2020-01-17 00:25:29 +01:00
$FRAME_OPTIONS->addScript('/data/javascript/blogpost_BFJoustBot_script.js', false);
2018-01-01 23:03:05 +01:00
2020-01-17 00:25:29 +01:00
echo $result;