diff options
| author | Hakan Sandell <sandell.hakan@gmail.com> | 2010-11-20 14:30:57 +0100 |
|---|---|---|
| committer | Hakan Sandell <sandell.hakan@gmail.com> | 2010-11-20 14:30:57 +0100 |
| commit | 8f0a521756228d15469d2a712fa1010b64a1d53a (patch) | |
| tree | 38ce28a99433403fa18d2bce871abc7290c8be54 /inc/search.php | |
| parent | ba9418bca378a6759305e3b388926df4f5a0af9c (diff) | |
| parent | 85dcda20ffd82becbe69a7ca5d99e4b6fd99c9ea (diff) | |
| download | rpg-8f0a521756228d15469d2a712fa1010b64a1d53a.tar.gz rpg-8f0a521756228d15469d2a712fa1010b64a1d53a.tar.bz2 | |
Merge branch 'master' of git://github.com/splitbrain/dokuwiki
Diffstat (limited to 'inc/search.php')
| -rw-r--r-- | inc/search.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/inc/search.php b/inc/search.php index 03abec0c0..a6787c5d2 100644 --- 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; } |