diff options
author | marvin-borner@live.com | 2018-04-16 21:09:05 +0200 |
---|---|---|
committer | marvin-borner@live.com | 2018-04-16 21:09:05 +0200 |
commit | cf14306c2b3f82a81f8d56669a71633b4d4b5fce (patch) | |
tree | 86700651aa180026e89a66064b0364b1e4346f3f /assets/php/vendor/react/event-loop/src/TimerInterface.php | |
parent | 619b01b3615458c4ed78bfaeabb6b1a47cc8ad8b (diff) |
Main merge to user management system - files are now at /main/public/
Diffstat (limited to 'assets/php/vendor/react/event-loop/src/TimerInterface.php')
-rwxr-xr-x | assets/php/vendor/react/event-loop/src/TimerInterface.php | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/assets/php/vendor/react/event-loop/src/TimerInterface.php b/assets/php/vendor/react/event-loop/src/TimerInterface.php deleted file mode 100755 index cdcf773..0000000 --- a/assets/php/vendor/react/event-loop/src/TimerInterface.php +++ /dev/null @@ -1,27 +0,0 @@ -<?php - -namespace React\EventLoop; - -interface TimerInterface -{ - /** - * Get the interval after which this timer will execute, in seconds - * - * @return float - */ - public function getInterval(); - - /** - * Get the callback that will be executed when this timer elapses - * - * @return callable - */ - public function getCallback(); - - /** - * Determine whether the time is periodic - * - * @return bool - */ - public function isPeriodic(); -} |