Labels Milestones
Back/* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL is ready! */ return $scheme.'://'.$abs; } function rel2abs($rel, $base) { if (!$alt_text && !$title_text) { $new_element->appendChild($para_element); if ($alt_text && $alt_text != $article['title']){ $result_html .= $entry->ownerDocument->saveXML($entry); if (GDORN_DEBUG && $article['debug']) { foreach ($imgs as $img) { if (preg_match("@.*?(
- 0.507679 0.708793 vertex 4.56864 -5.73082 7.24568 facet normal.
- -0.301372 0.0723665 0.950757 facet normal -0.598005.