3
1
Back

Replace '//' or '/./' or '/foo/../' with '/' */ $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)) { } module knurled_cyl(chg, cod, cwd, csh, cdp, fsh, smt crn=ceil(chg/csh); echo("knurled cylinder max diameter: ", 2*cird); if( fsh < 0 } module title(string, size=12, halign="center", font=font_for_title) { } module indentations() { if(indentations_sphere == true } } // Wondermark (alt tag already present) // Wondermark (alt.

New Pull Request