same fix as in devel. PHP recommends use of time() instead of mktime(),
when mktime() function is called without any arguments. maybe time() is
a little bit faster.