X-Git-Url: http://git.joshuawise.com/patchfork.git/blobdiff_plain/3f2daf5196ab280e4e5aeeecb4e7c8736ba86432..0c1f6f504940ab4b9486757cee541b22f0aab8a5:/player/config.php

diff --git a/player/config.php b/player/config.php
index 7146eed..748156c 100644
--- 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' ";