smarty/internals/core.get_microtime.php
changeset 35 8040903d25de
parent 0 c63de9eb7045