This is the raditex-library.php.
source-highlight -n --input=raditex-library.php --output=src/raditex-library.php.html
001: <?php 002: 003: //---------------------------------------------------------------------- 004: // 005: //---------------------------------------------------------------------- 006: function page_start() 007: { 008: 009: // header('Content-type: text/html; charset=utf-8'); 010: 011: print("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\">\n"); 012: echo "<html>"; 013: 014: } 015: 016: function download_link($link, $save_as, $text) 017: { 018: 019: printf("<a class='download' href='%s' download='%s'>%s</a>", $link, $save_as, $text); 020: 021: 022: } 023: 024: //---------------------------------------------------------------------- 025: // 026: //---------------------------------------------------------------------- 027: function page_header($header_image="http://192.168.37.35/~gorhas/images/raditex-banner-35h.png", $info="No info at the moment") 028: { 029: 030: echo "<head>"; 031: echo "<link rel='stylesheet' type='text/css' href='libs/rbis-standard.css'>"; 032: echo "<link rel='stylesheet' type='text/css' href='raditex-priv.css'>"; 033: // echo "<link rel='stylesheet' href='raditex-tutorial-print.css' type='text/css' media='print' />"; 034: echo "<body>"; 035: printf("<div class='top_banner'><a href='http://www.raditex.nu/'><img src='%s' height='35px'></a>", $header_image); 036: 037: printf("<div class='top_banner_info'>%s</div>", $info); 038: 039: echo "</div>"; 040: 041: // echo "<div class='top_banner_print'><a href='http://www.raditex.nu/'><img src='http://www.raditex.nu/images/raditex-banner.png'></a></div>"; 042: 043: // include($menu); 044: 045: $menu = array("The menu" => "slask.php", 046: "Other menu" => "slask2.php"); 047: 048: 049: 050: } 051: 052: function current_page_name() 053: { 054: return substr($_SERVER["SCRIPT_NAME"], strrpos($_SERVER["SCRIPT_NAME"],"/") + 1); 055: } 056: 057: //---------------------------------------------------------------------- 058: // 059: //---------------------------------------------------------------------- 060: function page_menu($menu) 061: { 062: 063: $state = ""; 064: 065: echo "<div class='menu'>"; 066: foreach($menu as $key => $value) 067: { 068: 069: $state = (current_page_name() == "$value" ) ? "active" : ""; 070: 071: // printf("State: %s", $state ); 072: 073: if($state == "active") 074: { 075: //echo "<li class='" . $state . "'><a class='the-page-menu' href='" . $value . "'>" . $key . "</a></li>"; 076: echo "<a href='" . $value . "'><button class='button_active'>" . $key . "</button></a>"; 077: } 078: else 079: { 080: echo "<a href='" . $value . "'><button class='button_not_active'>" . $key . "</button></a>"; 081: } 082: } 083: 084: //page_drop_down_menu("The dropdown", $menu); 085: 086: echo "</div>"; 087: 088: } 089: 090: //---------------------------------------------------------------------- 091: // 092: //---------------------------------------------------------------------- 093: function page_drop_down_menu($menu) 094: { 095: 096: echo "<div id='cssmenu' class='top_menu'>"; 097: echo "<ul>"; 098: 099: foreach($menu as $menu_text => $key_1) 100: { 101: if(is_array($key_1)) 102: { 103: printf ("<li class='has-sub'><a href='#'>%s</a>", $menu_text); 104: } 105: else 106: { 107: printf ("<li class='has-sub'><a href='%s'>%s</a>", $key_1, $menu_text); 108: } 109: echo "<ul>"; 110: 111: if(is_array($key_1)) 112: { 113: 114: foreach($key_1 as $menu_sub_text => $link) 115: { 116: 117: echo "<li><a href='" . $link . "'>" . $menu_sub_text . "</a></li>"; 118: } 119: 120: } 121: 122: echo "</ul>"; 123: echo "</li>"; 124: } 125: 126: echo "</ul>"; 127: echo "</div>"; 128: } 129: 130: //---------------------------------------------------------------------- 131: // 132: //---------------------------------------------------------------------- 133: function drop_down_start() 134: { 135: echo "<div id='cssmenu' class='top_menu'>"; 136: // echo "<div class='nav_wrapper'>"; 137: // echo "<nav class='nav_menu'>"; 138: echo "<ul>"; 139: } 140: 141: //---------------------------------------------------------------------- 142: // 143: //---------------------------------------------------------------------- 144: function drop_down_end() 145: { 146: echo "</ul>"; 147: // echo "</nav>"; 148: echo "</div>"; 149: } 150: 151: //---------------------------------------------------------------------- 152: // 153: //---------------------------------------------------------------------- 154: function page_row_start() 155: { 156: echo "<div class='page_row'>"; 157: } 158: 159: function page_column_start_left() 160: { 161: 162: echo "<div class='page_column_left'>"; 163: 164: } 165: 166: function page_column_start_right() 167: { 168: 169: echo "<div class='page_column_right'>"; 170: 171: } 172: 173: function page_column_end() 174: { 175: 176: echo "</div>"; 177: 178: } 179: 180: 181: function page_row_end() 182: { 183: 184: echo "</div>"; 185: 186: } 187: 188: function html_ul_start() 189: { 190: 191: echo "<ul class='unordered_list'>"; 192: } 193: 194: function html_ul_item($item) 195: { 196: 197: printf("<li>%s</li>", $item); 198: 199: } 200: 201: function html_ul_end() 202: { 203: 204: echo "</ul>"; 205: } 206: 207: function rweb_graph($id, $class, $width, $height, $json_data) 208: { 209: 210: 211: printf("<div id='graphContainer'></div>", $id); 212: 213: // printf("<script>"); 214: 215: // printf("var margin = {top: 20, right: 50, bottom: 30, left: 50}, " . 216: // "width = %s - margin.left - margin.right, " . 217: // "height = %s - margin.top - margin.bottom; ", $width, $height ); 218: 219: // printf("var svg = d3.select('#graphContainer').append('svg')" . 220: // ".attr('width', width + margin.left + margin.right)" . 221: // ".attr('height', height + margin.top + margin.bottom)" . 222: // ".attr('width', %s)" . 223: // ".attr('height', %s)" . 224: // ".attr('opacity', 1)" . 225: //.style("stroke", "blue") 226: //.style("fill", "green") 227: // ".style('background', '#CCFFFF')" . 228: 229: //.style("border", "2px solid red") 230: // ".on('mousedown', mouseDown)" . 231: // ".on('mouseup', mouseUp)" . 232: // ".on('click', mouseClick)" . 233: // ".on('mousemove', mouseMove)" . 234: // ".append('g')" . 235: // ".attr(\"transform\", \"translate(\" + margin.left + \",\" + margin.top + \")\");" , $id, $width, $height ); 236: 237: // printf("</script>"); 238: 239: 240: 241: 242: } 243: 244: //---------------------------------------------------------------------- 245: // 246: //---------------------------------------------------------------------- 247: function html_pre($pre_text) 248: { 249: 250: echo "<pre><div class='preformatted_code'>"; 251: 252: echo htmlspecialchars($pre_text, ENT_COMPAT , 'UTF-8'); 253: 254: echo "</div></pre>"; 255: 256: } 257: 258: function html_img($file, $width=600, $caption="Caption") 259: { 260: 261: global $fig_nr; 262: 263: $fig_nr++; 264: 265: printf("<div class='image_frame'>"); 266: printf("<img class='image' src='%s' width='%s' alt='Picutre lost'>", $file, $width); 267: printf("<div class='image_caption'>"); 268: printf("Fig %d: %s", $fig_nr, $caption); 269: printf("</div>"); 270: printf("</div>"); 271: 272: 273: } 274: 275: 276: //---------------------------------------------------------------------- 277: // 278: //---------------------------------------------------------------------- 279: function show_source_html($file) 280: { 281: 282: echo "<div class='code'>"; 283: include_once($file); 284: echo "</div>"; 285: 286: } 287: 288: //---------------------------------------------------------------------- 289: // 290: //---------------------------------------------------------------------- 291: function show_source_elipsis($file) 292: { 293: echo "<pre><tt>"; 294: echo "<div class='code'>"; 295: echo "...\n"; 296: include_once($file); 297: echo "...\n"; 298: echo "</div>"; 299: echo "</tt></pre>"; 300: } 301: 302: function page_footer($prev_page="http://www.raditex.nu/", $prev_page_text="Raditex homepage", $next_page="http://www.raditex.nu/", $next_page_text="Raditex homepage") 303: { 304: echo "<div class='footer'>"; 305: 306: echo "<div class='footer-left'>"; 307: echo "<a href='" . $prev_page . "'><button class='button_footer'>" . $prev_page_text ."</button></a>"; 308: echo "</div>"; 309: 310: echo "Copyright: Raditex control AB, <a href='http://www.raditex.nu/'>http://www.raditex.nu</a>"; 311: 312: echo "<div class='footer-right'>"; 313: echo "<a href='" . $next_page . "'><button class='button_footer'>" . $next_page_text ."</button></a>"; 314: echo "</div>"; 315: 316: echo "</div>"; 317: 318: echo "</body>"; 319: } 320: 321: function page_end() 322: { 323: echo "</html>"; 324: // print("<script src='boo-library-utils.js' type='text/javascript'></script>\n"); 325: print("<script src='http://code.jquery.com/jquery-latest.min.js' type='text/javascript'></script>\n"); 326: } 327: 328: //---------------------------------------------------------------------- 329: // 330: //---------------------------------------------------------------------- 331: // titles, paragraphs and text layouts 332: // 333: function html_h($title, $level=1, $fg_color='000000', $bg_color='FFFFFF') 334: { 335: printf("<div class='body_heading' style='color: #%s; background: #%s;'><h%d>%s</h%d></div>", $fg_color, $bg_color, $level, $title, $level); 336: } 337: 338: function html_p($text) 339: { 340: printf("<p class='body_text'>%s</p>", $text); 341: } 342: //---------------------------------------------------------------------- 343: // 344: //---------------------------------------------------------------------- 345: ?> 346: