<?php
/**
 * @file
 * The primary PHP file for this theme.
 */