session_start(); require_once "version.php"; require_once "config.php"; $_SESSION["uid"] = PLACEHOLDER_UID; // FIXME: placeholder $_SESSION["name"] = PLACEHOLDER_NAME; ?>