2007-08-24 02:48:33 +02:00
|
|
|
<?php
|
2008-02-25 03:10:37 +01:00
|
|
|
/**
|
2012-04-12 08:02:46 +02:00
|
|
|
* @package framework
|
2008-02-25 03:10:37 +01:00
|
|
|
* @subpackage core
|
2016-01-06 00:34:58 +01:00
|
|
|
*
|
2008-02-25 03:10:37 +01:00
|
|
|
* Alternative main.php file for servers that need the php5 extension
|
|
|
|
*/
|
2007-07-19 12:40:28 +02:00
|
|
|
include("main.php");
|
2012-04-12 08:02:46 +02:00
|
|
|
?>
|