<?php /** * Dummy theme. */