$re = '/((?:[-\s\(\)]*\d){9,})/m';
$str = 'D-24986 Satrup Tel. (0 46 33) 9 645 00 Fax (0 46 33) 9 66 000
Problemen: Tel. 03682-4654000,';
preg_match_all($re, $str, $matches, PREG_SET_ORDER, 0);
// Print the entire match result
var_dump($matches);function setMyTimer(_t, interval){
_t.start=Date.now();
_t.interval=_t.interval||interval;
_t.log_interval=_t.log_interval || 1000;
function log(){
const diff=_t.interval - (Date.now() - _t.start);
if(_t.log)_t.log(diff);
if(diff>_t.log_interval)
setTimeout(log,_t.log_interval);
else {
setTimeout(_t.main,diff<0?1:diff);
}
}
setTimeout(log,_t.log_interval);
}
setMyTimer({
main: ()=>console.log('test1'),
log: (diff)=>console.log('1:осталось '+diff+' ms ')
//, interval : 1200000
//, log_interval: 500
}, 50000);
setMyTimer({
main: ()=>console.log('test2'),
log: (diff)=>console.log('2:осталось '+diff+' ms ')
//, interval : 1200000
//, log_interval: 500
}, 20000);
setMyTimer({
main: ()=>console.log('test3'),
// log: (diff)=>console.log('2:осталось '+diff+' ms ')
//, interval : 1200000
//, log_interval: 500
}, 5000);$vars=[
'var1'=>100,
'var3'=>2
];
echo execute('{var1}/{var3}', $vars);
function execute($expr,$vars){
$functionname='_'.md5($expr);
if(!function_exists($functionname)){
$filename=$functionname.'.tmp.php';
if(!file_exists($filename)) {
$php_expr = preg_replace_callback('/{(.*?)}/', function ($m) use ($vars) {
if (isset($vars[$m[1]]))
return '$' . $m[1];
else
return $m[0];
}, $expr);
file_put_contents($functionname . '.tmp.php', sprintf('<' . '?php
function %s($vars){
extract($vars);
return %s;
}
', $functionname, $php_expr));
}
include_once($functionname.'.tmp.php');
}
return $functionname($vars);
}