user.class.php 390 B

12345678910111213141516171819
  1. <?php
  2. namespace Portfolio;
  3. /**
  4. * A portfolio user is used to share identity between two applications.
  5. * Not used at this point.
  6. *
  7. * @copyright (c) 2012 University of Geneva
  8. * @license GNU General Public License - http://www.gnu.org/copyleft/gpl.html
  9. * @author Laurent Opprecht <laurent@opprecht.info>
  10. */
  11. class User
  12. {
  13. public $id;
  14. public $email;
  15. public $token;
  16. }