<?php

/**
 *
 * @copyright  2010-2011 izend.org
 * @version    3
 * @link       http://www.izend.org
 */

function user_is_identified() {
	return isset($_SESSION['user']);
}