diff options
Diffstat (limited to 'JLanguageTool/website/include/help.php')
| -rw-r--r-- | JLanguageTool/website/include/help.php | 104 |
1 files changed, 104 insertions, 0 deletions
diff --git a/JLanguageTool/website/include/help.php b/JLanguageTool/website/include/help.php new file mode 100644 index 0000000..00fe95a --- /dev/null +++ b/JLanguageTool/website/include/help.php @@ -0,0 +1,104 @@ +<?php +function hl($xml, $class="xmlcode") { + $geshi = new GeSHi($xml, "XML", "../../include/geshi/"); + $geshi->set_header_type(GESHI_HEADER_NONE); + print "<div class='".$class."'>".$geshi->parse_code()."</div>"; +} + +function hljava($code, $class="xmlcode") { + $geshi = new GeSHi($code, "Java5", "../../include/geshi/"); + $geshi->set_header_type(GESHI_HEADER_NONE); + print "<div class='".$class."'>".$geshi->parse_code()."</div>"; +} + +function show_link($title, $url, $show_alt, $title_attr="") { + global $homepage; + $html = ""; + $alt = ""; + $img_path = "/images"; + if( $homepage ) { + $img_path = "art"; + } + if( strpos($url, "mailto:") === false && $show_alt ) { + if( strpos($url, "http:") === false ) { + $alt = "internal link to ".$title; + } else { + $alt = "external link to ".$title; + } + } else if ( $show_alt ) { + $alt = "email"; + } + if( $title_attr ) { + $title_attr = 'title="'.$title_attr.'"'; + } + if( strpos($url, "http:") === false ) { + $html .= '<a '.$title_attr.' href="'.$url.'"><img src="'.$img_path.'/link.png" border="0" hspace="2" width="8" height="9" alt="'.$alt.'" />'; + } else { + $html .= '<a '.$title_attr.' href="'.$url.'"><img src="'.$img_path.'/link_extern.png" border="0" hspace="2" width="7" height="9" alt="'.$alt.'" />'; + } + $html .= $title.'</a>'; + return $html; +} + +function getmicrotime() { + list($usec, $sec) = explode(" ",microtime()); + return ((float)$usec + (float)$sec); +} + +function send_last_modified_header() { + global $last_update_full; + $timestamp = strtotime($last_update_full); + header("Last-Modified: ".date("D, j M Y G:i:s T", $timestamp)); +} + +/** Escape stuff that gets printed to page to avoid cross site scripting. */ +function escape($string) { + $string = preg_replace("/&/", "&", $string); + $string = preg_replace("/\"/", """, $string); + $string = preg_replace("/'/", "'", $string); + $string = preg_replace("/</", "<", $string); + $string = preg_replace("/>/", ">", $string); + return $string; +} + +/** Unescape stuff that gets printed to page to avoid cross site scripting. */ +function unescape($string) { + $string = preg_replace("/"/", "\"", $string); + $string = preg_replace("/'/", "'", $string); + $string = preg_replace("/</", "<", $string); + $string = preg_replace("/>/", ">", $string); + $string = preg_replace("/&/", "&", $string); + return $string; +} + +function post_request($url, $data, $optional_headers=null) { + $params = array('http' => array( + 'method' => 'POST', + 'content' => $data)); + if ($optional_headers !== null) { + $params['http']['header'] = $optional_headers; + } + $ctx = stream_context_create($params); + $fp = @fopen($url, 'rb', false, $ctx); + if (!$fp) { + return ""; + } + $resp = @stream_get_contents($fp); + if ($resp === false) { + return ""; + } + return $resp; +} + +// see http://www.php.net/manual/en/function.substr.php: +function utf8_substr($str, $start) { + preg_match_all("/./u", $str, $ar); + if (func_num_args() >= 3) { + $end = func_get_arg(2); + return join("",array_slice($ar[0], $start, $end)); + } else { + return join("",array_slice($ar[0], $start)); + } +} + +?> |