Labels Milestones
Back'/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL */ $abs = preg_replace($re, '/', $abs, -1, $n)) { .
- -0.0348182 0.996914 0.0703595 facet.
- -0.565762 2.84428 19 vertex 1.10978 2.67925.
- 0.0993177 facet normal 0.706052 -0.0555714 0.705976.