Including PhpDoc in TimeDAO.php