Labels Milestones
Back'/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* 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)) { } /* dirty absolute URL is ready! */ return $scheme . '://' . $abs; if (preg_match("@.*(
- 5.031641e+000 9.983999e+000 vertex 5.655164e+000 -5.476652e-001 2.496000e+001 vertex.
- - (side_margin * 2); hole_horiz = (board_width .
- 1.404741e+000 2.496000e+001 vertex -4.026420e+000 -3.996321e+000 2.496000e+001 vertex.