+++ /dev/null
-<?php
-
- require_once('protected/required.php');
-
- interface HistoriqueManager {
-
- function createHistorique($historique);
- function updateHistorique($historique);
- function getHistorique($id);
- function getLastHistorique();
- function getHistoriques();
- function removeHistorique($historique);
- }
-
-?>
\ No newline at end of file