Simpler ID trimming

dokuwiki · Nov 13, 2010 · 709b106 · 709b106
1 parent 3903be5
commit 709b106
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/inc/search.php b/inc/search.php
@@ -511,8 +511,7 @@ function pathID($path,$keeptxt=false){
     $id = utf8_decodeFN($path);
     $id = str_replace('/',':',$id);
     if(!$keeptxt) $id = preg_replace('#\.txt$#','',$id);
-    $id = preg_replace('#^:+#','',$id);
-    $id = preg_replace('#:+$#','',$id);
+    $id = trim($id, ':');
     return $id;
 }