diff options
| author | Andrey Andreev <narf@bofh.bg> | 2012-04-23 12:10:19 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@bofh.bg> | 2012-04-23 12:10:19 +0200 |
| commit | 6f3fd0fe5e86f50422ab9398a33f7351986634b0 (patch) | |
| tree | b5bda67045ecedac94ef2f8a53c6537e772a761b /system/libraries/Session.php | |
| parent | b3f774bbbb81293326136e3e13297c3b8d49dfa4 (diff) | |
| parent | ab3cab5a8f2afdd45ec8c6c365e43722781e54e6 (diff) | |
Merge pull request #1271 from dixy/develop-microtime
Use parameter 'get_as_float' of microtime()
Diffstat (limited to 'system/libraries/Session.php')
0 files changed, 0 insertions, 0 deletions