@ob_start();
require_once("../inc/base.php");
require_once("../lang/master.php");
+ header("Content-Type: text/html; charset=UTF-8");
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
$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' ";