web/semanticboard.php
changeset 1427 8b3d57a519eb
parent 469 99d105834315
equal deleted inserted replaced
1426:15a1a28f609a 1427:8b3d57a519eb
    29         <link rel="stylesheet" type="text/css" href="<?php echo(registry_url('semanticboard','css'))?>" />
    29         <link rel="stylesheet" type="text/css" href="<?php echo(registry_url('semanticboard','css'))?>" />
    30         <script type="text/javascript" src="<?php echo(registry_url('jquery','js'))?>"></script>
    30         <script type="text/javascript" src="<?php echo(registry_url('jquery','js'))?>"></script>
    31         <script type="text/javascript" src="<?php echo(registry_url('underscore','js'))?>"></script>
    31         <script type="text/javascript" src="<?php echo(registry_url('underscore','js'))?>"></script>
    32         <script type="text/javascript">
    32         <script type="text/javascript">
    33             var mdpSource = <?php echo (isset($_REQUEST['metadata'])) ? $_REQUEST['metadata'] : 'false'; ?>;
    33             var mdpSource = <?php echo (isset($_REQUEST['metadata'])) ? $_REQUEST['metadata'] : 'false'; ?>;
    34             <?php echo $config['js_config']; ?>
    34             <?php if (isset($config['js_config'])) echo "\n".$config['js_config']."\n"; ?>
    35         </script>
    35         </script>
    36         <script type="text/javascript" src="<?php echo(registry_url('semanticboard','js'))?>">"></script>
    36         <script type="text/javascript" src="<?php echo(registry_url('semanticboard','js'))?>"></script>
    37     </head>
    37     </head>
    38     <body class="<?php echo $theme.($issmall ? " small" : ""); ?>">
    38     <body class="<?php echo $theme.($issmall ? " small" : ""); ?>">
    39         <div id="container">
    39         <div id="container">
    40 <?php
    40 <?php
    41     if (!$issmall) {
    41     if (!$issmall) {