public function getThemeOptions() { if ($v = parent::getThemeOptions()) { return json_decode($v, true); } return null; }