1234567891011121314151617181920 |
- <?php
- /**
- * @return string Generated ID.
- */
- function generateID() {
- // Generate id based on the current microtime
- $id = str_replace('.', '', microtime(true));
- // Ensure that the id has a length of 14 chars
- while(strlen($id)<14) $id .= 0;
- // Return id as a string. Don't convert the id to an integer
- // as 14 digits are too big for 32bit PHP versions.
- return $id;
- }
- ?>
|