public static function trimUrl($url) { $result = str_replace("//", "/", $url); while ($result !== $url) { $url = $result; $result = str_replace("//", "/", $url); } return $result; }