<?php

namespace Portfolio;

/**
 * A portfolio user is used to share identity between two applications.
 * Not used at this point.
 *
 * @copyright (c) 2012 University of Geneva
 * @license GNU General Public License - http://www.gnu.org/copyleft/gpl.html
 * @author Laurent Opprecht <laurent@opprecht.info>
 */
class User
{
    public $id;
    public $email;
    public $token;
        
}