16 

    16 

    17 //

    17 //

    18 // $Id: index.php,v 1.13 2003/05/10 20:20:05 azurazu Exp $

    18 // $Id: index.php,v 1.13 2003/05/10 20:20:05 azurazu Exp $

    19 //

    19 //

    20 

    20 

    21 require_once("inc/toolkit.inc.php");

    22 require_once("inc/toolkit.inc.php");

    22 

    23 

    23 /*

    24 /*

    24 // Checks if the user migrated his database, can be deprecated in the future

    25 // Checks if the user migrated his database, can be deprecated in the future

    25 function check_updated()

    26 function check_updated()