Labels Milestones
Back= "$host$path/$rel"; /* 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; if (preg_match("@.*(
- -0.638358 vertex 1.17054 5.88471 6.59 facet normal.
- -0.0393352 0.305328 0.951435 facet normal 0.956936.