Labels Milestones
Back{ $rel = trim($rel); if (parse_url($rel, PHP_URL_SCHEME) != '' || substr($rel, 0, 2) == '//') { return $rel; } extract(parse_url($base)); $path = ''; } /* absolute URL */ /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL */ $abs.
- DEF SW_Push_45deg SW 0 0 Y.
- A short time before it actually gets removed.
- Normal 9.468859e-01 3.215698e-01 -2.758115e-10 vertex -9.055258e+01 1.011513e+02 1.090221e+01.
- 2.743748e-001 9.482113e-001 facet normal 5.555561e-01.