--- mumble-1.2.3/scripts/weblist.php.orig 2012-07-04 09:39:53.806208222 +0100 +++ mumble-1.2.3/scripts/weblist.php 2012-07-04 09:40:24.855288867 +0100 @@ -5,18 +5,7 @@ <body> <?php -# -# Murmur.php is generated by calling -# slice2php /path/to/Murmur.ice -# in this directory -# - -if (Ice_intversion() >= 30400) { - require 'Ice.php'; - require 'Murmur.php'; -} else { - Ice_loadProfile(); -} +Ice_loadProfile(); try { if (Ice_intversion() >= 30400) {