<?php
class Themelet extends BaseThemelet
{
}