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