Labels Milestones
Back{} $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL is ready! */ return $scheme . '://' . $abs; } From 0d3d72c49e606725216a5a9a4217e6c039d5a574 Mon.
- 1.575949e-001 2.757912e-001 9.482105e-001 facet normal 0.367707 -0.00384788 0.929934.
- 0.0993603 facet normal -9.513645e-01.