fork download
copy 
  1. <?php
  2.  
  3. $res = "";
  4. $s = ' worldTime(1492783520000,document.getElementById("worldTime"));';
  5. if (preg_match('~worldTime\((\d+)~', $s, $m)) {
  6.      $res = $m[1];
  7. }
  8. echo $res;
Success #stdin #stdout 0.01s 82944KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
1492783520000
https://ideone.com/JBBedE
language:
PHP (php 7.3.5)
created:
7 years ago
visibility:
secret

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!