Labels Milestones
BackPreg_replace($re, '/', $abs, -1, $n)) { } module make_surface(filename, h) { } /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array( '#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' .
New Pull RequestPreg_replace($re, '/', $abs, -1, $n)) { } module make_surface(filename, h) { } /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array( '#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' .
New Pull Request