PHP-CLI
Packages
Classes
cli
cli_formatter
cmd
commandline_list
data_types
downloader
extensions
files
inimgmt
is_admin
json
linuxcmd
pkgmgr
time
Functions
mklog0
mklog
verboseLogging
argsString
getEnvironment
PHP-CLI
Class
Class
time
Located at
resource2.php
Methods
public static
stamp
()
Use time() instead.
Use time() instead.
#
public static
millistamp
()
Use microtime(true) instead.
Use microtime(true) instead.
#