3
1
Back

External_direction_indicator(); } shaft_hole(); } set_screw_hole(); } arrow_indicator(); indentations(); } } /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) .

New Pull Request