@@ 127-140 (lines=14) @@ | ||
124 | return $datetime; |
|
125 | } |
|
126 | ||
127 | private function createDateInterval($interval){ |
|
128 | $f = 0.0; |
|
129 | if (preg_match('~\.\d+~',$interval,$match)) { |
|
130 | $interval = str_replace($match[0], "", $interval); |
|
131 | $f = (float)$match[0]; |
|
132 | } |
|
133 | $di = new \DateInterval($interval); |
|
134 | // milliseconds are only available from >=7.1 |
|
135 | if(isset($di->f)){ |
|
136 | $di->f= $f; |
|
137 | } |
|
138 | ||
139 | return $di; |
|
140 | } |
|
141 | } |
|
142 | ||
143 |
@@ 150-163 (lines=14) @@ | ||
147 | return $datetime; |
|
148 | } |
|
149 | ||
150 | private function createDateInterval($interval){ |
|
151 | $f = 0.0; |
|
152 | if (preg_match('~\.\d+~',$interval,$match)) { |
|
153 | $interval = str_replace($match[0], "", $interval); |
|
154 | $f = (float)$match[0]; |
|
155 | } |
|
156 | $di = new \DateInterval($interval); |
|
157 | // milliseconds are only available from >=7.1 |
|
158 | if(isset($di->f)){ |
|
159 | $di->f= $f; |
|
160 | } |
|
161 | ||
162 | return $di; |
|
163 | } |
|
164 | } |
|
165 | ||
166 |