Labels Milestones
BackReplace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module label(string, size=4, halign="center", font=default_label_font) { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign, font=font_for_label); } //module title(string, size=9, halign="center", font="Futura XBlk BT:style=Extra Black") { // Camp Weedonwantcha elseif (strpos($article['link'], 'dead-philosophers.com/?p') !== FALSE) { // replace the