<?php /** * @package framework * @subpackage core * * Alternative main.php file for servers that need the php5 extension */ include("main.php"); ?>