12345678910111213141516171819 |
- <?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;
-
- }
|