Beispiel #1
0
    exit;
}
if (isset($_GET["rebuild-icons"])) {
    rebuildicons();
    exit;
}
if (isset($_GET["add-icon"])) {
    main_icon_js();
    exit;
}
if (isset($_GET["show-icons"])) {
    main_icon_list();
    exit;
}
if (isset($_GET["new_icon"])) {
    add_icon();
    exit;
}
if (isset($_GET["delete_icon"])) {
    del_icon();
    exit;
}
if (isset($_GET["ChangeClass"])) {
    echo main_icon_list_list();
    exit;
}
if (isset($_GET["manage-icon"])) {
    echo manage_icons_js();
    exit;
}
if (isset($_GET["show-manage"])) {
Beispiel #2
0
$postid = $row[2];
// post id
$xslfilename = dirname(__FILE__) . "/xsl/" . $row[4] . ".xsl";
$xmlfilename = "{$xml_documents}/{$collection}/{$file}.xml";
// Begins output
if ($id_pool) {
    $localisation[] = array("{$pool['name']}", "pool.php?id_pool={$id_pool}", "Pool for topic {$pool['id_pool']}");
}
$i = sizeof($localisation);
while ($row["parent"] != $row["name"] && ($row = sql_get_row("SELECT * FROM {$collection}_{$db_files} WHERE name='{$row['parent']}'", false))) {
    array_splice($localisation, $i, 0, array(array($row["name"], "{$base_url}/collections/{$row['name']}?id_pool={$id_pool}", $row["title"])));
}
$up_url = $localisation[sizeof($localisation) - 1][1];
$localisation[] = array("File {$file}", "{$PHP_SELF}?id_pool={$id_pool}&file={$file}", "{$title}");
add_icon("img_treeview", "{$base_url}/img/tree.png", "Tree view (shift + T)", "javascript:void(0)", "toggle_treeview()", '<div class="help_top">Displays/hides the panel with the tree view of the XML document, where only tag names appear. In this panel, you can click on any tag name to view it in the main document view.<br/><b>Shortcut</b>: hold <code>shift</code> and press <code>t</code></div>');
add_icon("img_bookmarks", "{$base_url}/img/trombone.png", "Bookmarks (shift + B)", "javascript:void(0)", "toggle_bookmarks()", '<div class="help_top">Displays/hides the panel with the current document bookmarks. In this panel, you can click on any displayed path to view it in the main document view.<br/><b>Shortcut</b>: hold <code>shift</code> and press <code>b</code></div>');
make_header($title);
$force_update = $_GET["force"];
if (!$force_update) {
    $force_update = 0;
}
$no_mathml = $force_update == 2;
// 2nd update ==> no mathml
?>
<!-- Our own style & js -->
<link rel="stylesheet" href="<?php 
echo $base_url;
?>
/css/article.css" />
<link rel="stylesheet" id="tags_css" href="<?php 
echo $base_url;
Beispiel #3
0
    $localisation[] = array("{$pool['name']}", "{$base_url}/pool.php?id_pool={$id_pool}", "Pool for topic {$pool['idtopic']}");
}
$i = sizeof($localisation);
while ($row["parent"] > 0 && ($row =& $xrai_db->getRow("SELECT * FROM {$db_files} WHERE id=?", array($row["parent"])))) {
    if (DB::isError($row)) {
        fatal_error("Database error", $row->getUserInfo());
    }
    array_splice($localisation, $i, 0, array(array($row["filename"] != "" ? $row["filename"] : $row["collection"], "{$base_url}/collections/{$row['collection']}/{$row['filename']}?id_pool={$id_pool}", $row["title"])));
}
$up_url = $localisation[sizeof($localisation) - 1][1];
$localisation[] = array("File {$file}", "{$PHP_SELF}?id_pool={$id_pool}&amp;file={$file}&amp;collection={$collection}", "{$title}");
// add_icon("img_treeview","$base_url/img/tree.png","Tree view (shift + T)","javascript:void(0)","toggle_treeview()",'<div class="help_top">Displays/hides the panel with the tree view of the XML document, where only tag names appear. In this panel, you can click on any tag name to view it in the main document view.<br/><b>Shortcut</b>: hold <code>shift</code> and press <code>t</code></div>');
// add_icon("img_bookmarks","$base_url/img/trombone.png","Bookmarks (shift + B)","javascript:void(0)","toggle_bookmarks()",'<div class="help_top">Displays/hides the panel with the current document bookmarks. In this panel, you can click on any displayed path to view it in the main document view.<br/><b>Shortcut</b>: hold <code>shift</code> and press <code>b</code></div>');
if ($do_debug) {
    add_icon("img_eyes", "{$base_url}/img/eyes.png", "Debug view", "javascript:void(0)", 'toggle_panel("assessing","img_eyes")', '');
    add_icon("img_log", "{$base_url}/img/log.png", "Log view", "javascript:void(0)", 'toggle_panel("log","img_log")', '');
}
make_header($title);
$force_update = $_GET["force"];
if (!$force_update) {
    $force_update = 0;
}
$no_mathml = $force_update == 2;
// 2nd update ==> no mathml
if ($id_pool > 0) {
    $assessments = Assessments::create($id_pool, $collection, $file);
    if (DB::isError($assessments)) {
        fatal_error("Error retrieving assessments", $assessments->getUserInfo());
    }
    $cursor =& $assessments->getCursor();
    if (DB::isError($cursor)) {
Beispiel #4
0
	$GLOBALS["DEBUG_TEMPLATE"]=true;
	$GLOBALS["VERBOSE"]=true;
	ini_set('display_errors', 1);
	ini_set('error_reporting', E_ALL);	
}
$GLOBALS["CURRENT_PAGE"]=CurrentPageName();


if(isset($_GET["tab"])){switch_tabs();exit;}
if(isset($_GET["Newtab"])){add_tab();exit;}
if(isset($_GET["delete-tab"])){delete_tab();exit;}
if(isset($_GET["DeleteTabConfirmed"])){delete_tab_confirmed();exit;}
if(isset($_GET["rebuild-icons"])){rebuildicons();exit;}
if(isset($_GET["add-icon"])){main_icon_js();exit;}
if(isset($_GET["show-icons"])){main_icon_list();exit;}
if(isset($_GET["new_icon"])){add_icon();exit;}
if(isset($_GET["delete_icon"])){del_icon();exit;}
if(isset($_GET["ChangeClass"])){echo main_icon_list_list();exit;}
if(isset($_GET["manage-icon"])){echo manage_icons_js();exit;}
if(isset($_GET["show-manage"])){echo manage_icon_page();exit;}
if(isset($_GET["move-widget"])){echo manage_icon_move();exit;}
if(isset($_GET["widget-manage-list"])){echo manage_icons_list($_GET["widget-manage-list"]);exit;}
if(isset($_GET["main"])){switch_main();exit;}
if(isset($_GET["left-menus"])){left_menus();exit;}





function switch_main(){
Beispiel #5
0
if ($id_pool) {
    $localisation[] = array("{$pool['name']}", "{$base_url}/pool.php?id_pool={$id_pool}", "Pool for topic {$pool['idtopic']}");
}
$i = sizeof($localisation);
while ($row["parent"] > 0 && ($row =& $xrai_db->getRow("SELECT * FROM {$db_files} WHERE id=?", array($row["parent"])))) {
    if (DB::isError($row)) {
        fatal_error("Database error", $row->getUserInfo());
    }
    array_splice($localisation, $i, 0, array(array($row["filename"] != "" ? $row["filename"] : $row["collection"], "{$base_url}/collections/{$row['collection']}/{$row['filename']}?id_pool={$id_pool}", $row["title"])));
}
$up_url = $localisation[sizeof($localisation) - 1][1];
$localisation[] = array("File {$file}", "{$PHP_SELF}?id_pool={$id_pool}&amp;file={$file}&amp;collection={$collection}", "{$title}");
// add_icon("img_treeview","$base_url/img/tree.png","Tree view (shift + T)","javascript:void(0)","toggle_treeview()",'<div class="help_top">Displays/hides the panel with the tree view of the XML document, where only tag names appear. In this panel, you can click on any tag name to view it in the main document view.<br/><b>Shortcut</b>: hold <code>shift</code> and press <code>t</code></div>');
// add_icon("img_bookmarks","$base_url/img/trombone.png","Bookmarks (shift + B)","javascript:void(0)","toggle_bookmarks()",'<div class="help_top">Displays/hides the panel with the current document bookmarks. In this panel, you can click on any displayed path to view it in the main document view.<br/><b>Shortcut</b>: hold <code>shift</code> and press <code>b</code></div>');
if ($do_debug) {
    add_icon("img_eyes", "{$base_url}/img/eyes.png", "Debug view", "javascript:void(0)", 'toggle_panel("assessing","img_eyes")', '');
}
make_header($title);
$force_update = $_GET["force"];
if (!$force_update) {
    $force_update = 0;
}
$no_mathml = $force_update == 2;
// 2nd update ==> no mathml
if ($id_pool > 0) {
    $assessments = Assessments::create($id_pool, $collection, $file);
    if (DB::isError($assessments)) {
        fatal_error("Error retrieving assessments", $assessments->getUserInfo());
    }
    $cursor =& $assessments->getCursor();
    if (DB::isError($cursor)) {