<?php

// Dummy theme.

echo __DIR__ . '/' . basename(__FILE__);

?>