3
1
Back

'/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module label(string, size=4, halign="center", height=thickness+1, font=default_label_font) { Panels/title_test_18.stl Normal file.

New Pull Request