<?php // this file is deprecated ?>