3
1
Back

[-10,280], [130,260], [80,10]]; module frame(points, depth=7, width=15) { module label(string, size=4, halign="center", font=default_label_font) { } /* dirty absolute URL */ $abs = preg_replace($re, '/', $abs, -1, $n)) { } module arrow_indicator() { } /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL.

New Pull Request