3
1
Back

$base $path = ''; function get_xpath_dealie($link) { } /* dirty absolute URL */ $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module pushbutton_switch_6mm() { From ef87dc7d41f5e6b2301711b754023b93f16ed69f Mon Sep 17 00:00:00 2001 Subject: [PATCH] Collect other files not yet included.

New Pull Request