--- themes/Default/settings_channels.php.org 2005-10-17 16:11:51.000000000 +0200 +++ themes/Default/settings_channels.php 2005-10-17 16:11:56.000000000 +0200 @@ -40,6 +40,7 @@