<?php
class Themelet extends BaseThemelet {}