3
1
Back

/* absolute URL */ /* replace '//' or '/./' or '/foo/../' with '/' */ 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 is ready! */ left_rib_x = thickness * 2; right_rib_x = width_mm - h_margin; left_rib_x = 0; // 0 = A cylindrical knob, any other.

New Pull Request