<?php

if (!isset($theme)) {
    $theme = "default";
}