diff --git a/core/util.inc.php b/core/util.inc.php index aceac770..e1372eb2 100644 --- a/core/util.inc.php +++ b/core/util.inc.php @@ -117,6 +117,17 @@ function make_link($page=null, $query=null) { * Misc * \* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ +function version_check() { + if(version_compare(PHP_VERSION, "5.0.0") == -1) { + print <<