я использую этот код, чтобы получить php microtime
$date = round(microtime(true) * 1000);
результат эха я получаю вот так
1.42020381242E+12
как мне убедиться, что микротайм это просто цифры без специальных символов или строк вроде этого
1420209804538
на локальном хосте все было в порядке и получая только цифры, НО на сервере он получает числа, а также строку и точку (.)
вопрос 2
также, как я добавил больше 15 минут к текущему микротайму
Ты можешь использовать 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];
Других решений пока нет …