<?php // This is a stub file ?>