удалить все строки из микротайма и добавить минуты к нему

Question

я использую этот код, чтобы получить php microtime

$date = round(microtime(true) * 1000);

результат эха я получаю вот так

1.42020381242E+12

как мне убедиться, что микротайм это просто цифры без специальных символов или строк вроде этого

1420209804538

на локальном хосте все было в порядке и получая только цифры, НО на сервере он получает числа, а также строку и точку (.)

вопрос 2

также, как я добавил больше 15 минут к текущему микротайму

0

Решение

Других решений пока нет …

Accepted Answer

Ты можешь использовать filter_var очистить переменную, чтобы она содержала только числовые значения, используя FILTER_SANITIZE_NUMBER_INT

Например;

echo filter_var($date, FILTER_SANITIZE_NUMBER_INT);

Используя комментарий Марка Бейкерса, чтобы добавить 15 минут, вы просто сделаете следующее;

echo filter_var( ($date + 15 * 60 * 1000), FILTER_SANITIZE_NUMBER_INT);

Вы можете использовать регулярное выражение для удаления любых символов, которые не являются числовыми. Например

preg_replace("/[^0-9]/", "", $date);

Вы можете захватить последнюю часть строки, используя следующее регулярное выражение

$re = "~\s(\d+)~";
$str = "12 + 142020602353 ";
preg_match($re, $str, $m);
echo $m[0];

1