Utils/WikiTagUtils.php
changeset 9 cc32af725176
parent 8 7d2fb5d7c9ff
child 22 99c15cfe420b
--- a/Utils/WikiTagUtils.php	Thu Oct 20 18:35:33 2011 +0200
+++ b/Utils/WikiTagUtils.php	Fri Oct 21 17:10:54 2011 +0200
@@ -98,6 +98,8 @@
         }
         $tag_label = trim($tag_label);//tag.strip()
         $tag_label = str_replace("_", " ", $tag_label);//tag.replace("_", " ")
+        $tag_label = str_replace("Œ", "oe", $tag_label);
+        $tag_label = str_replace("œ", "oe", $tag_label);
         $tag_label = preg_replace('/\s+/', ' ', $tag_label);//" ".join(tag.split())
         $tag_label = ucfirst($tag_label);//tag[0].upper() + tag[1:]
         return $tag_label;