Labels Milestones
Back$abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL is ready! */ return $scheme.'://'.$abs; } /* dirty absolute URL */ $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ } function get_img_tags($xpath, $query, $article, $base_url=NULL) { function get_img_tags($xpath, $query, $article){ /* dirty absolute URL */ $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} $re = array('#(/\.?/)#', .
- -8.660269e-001 0.000000e+000 vertex 6.971169e+000.
- 1.995148e-15 -2.840072e-15 -1.000000e+00 facet normal -0.629654 -0.768263 0.115357.