Total Lines | 19 |
Duplicated Lines | 0 % |
Coverage | 0% |
Changes | 0 |
1 | <?php |
||
19 | interface TimerInterface |
||
20 | { |
||
21 | const START_TIME = 'start_time'; |
||
22 | const TIME = 'time'; |
||
23 | |||
24 | /** |
||
25 | * @param InternalRequestInterface $internalRequest |
||
26 | * |
||
27 | * @return InternalRequestInterface |
||
28 | */ |
||
29 | public function start(InternalRequestInterface $internalRequest); |
||
30 | |||
31 | /** |
||
32 | * @param InternalRequestInterface $internalRequest |
||
33 | * |
||
34 | * @return InternalRequestInterface |
||
35 | */ |
||
36 | public function stop(InternalRequestInterface $internalRequest); |
||
37 | } |
||
38 |