3
1
Back

{ $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path = ''; } /* replace '//' or '/./' or '/foo/../' with '/' */ for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL */ /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array( '#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' ); for ($n = 1; top_margin = (board_height - hole_vdist) / 2; hole_vert = (board_height.

New Pull Request