Make config page refuse to allow you to select the mini theme (it should only be...

diff --git a/player/config.php b/player/config.php
index 7146eedceee7621647de3c334ec63a57573a16e7..748156cf8e6166ded6671246fd209e6be22ae08d 100644 (file)
--- a/player/config.php
+++ b/player/config.php
@@ -213,6 +213,8 @@
 $themes = get_available_themes();
 $ctheme = get_config("theme", "default");
 foreach($themes as $theme) {
+       if ($theme == "mini")
+               continue;
        echo "\n<option value='$theme' ";
        if($theme==$ctheme)
                echo "selected='selected' ";