3 if (isset($_GET['run'])) {
4 $path = parse_url($_GET['run']);
5 if (isset($path['query'])) {
6 $query = '?' . $path['query'];
10 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"
11 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
14 <link rel="icon" type="image/vnd.microsoft.icon" href="favicon.ico">
15 <title><?php if (defined('DEFAULT_WSTYPE') && DEFAULT_WSTYPE == 1) echo 'JSONRPC'; else echo 'XMLRPC'; ?> Debugger</title>
17 <frameset rows="360,*">
18 <frame name="frmcontroller" src="controller.php<?php echo htmlspecialchars($query); ?>" marginwidth="0"
19 marginheight="0" frameborder="0"/>
20 <frame name="frmaction" src="action.php" marginwidth="0" marginheight="0" frameborder="0"/>