From 0c1f6f504940ab4b9486757cee541b22f0aab8a5 Mon Sep 17 00:00:00 2001
From: Joshua Wise <joshua@h2so4.joshuawise.com>
Date: Mon, 22 Mar 2010 22:24:26 -0400
Subject: [PATCH] Make config page refuse to allow you to select the mini theme
 (it should only be accessible through mini.php).

---
 player/config.php | 2 ++
 1 file changed, 2 insertions(+)

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' ";
-- 
2.39.2