<?php class Themelet extends BaseThemelet {} ?>