diff options
Diffstat (limited to 'plugins/managesieve/managesieve.php')
| -rw-r--r-- | plugins/managesieve/managesieve.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/managesieve/managesieve.php b/plugins/managesieve/managesieve.php index 5ac406ade..283f7ceb4 100644 --- a/plugins/managesieve/managesieve.php +++ b/plugins/managesieve/managesieve.php @@ -1542,7 +1542,7 @@ class managesieve extends rcube_plugin private function genid() { - $result = intval(rcube_timer()); + $result = preg_replace('/[^0-9]/', '', microtime(true)); return $result; } |