GetTickCount.php

<?php

error_reporting(E_ALL);
set_time_limit(120);

$kernel32 = FFI::cdef("
typedef unsigned long   DWORD;
DWORD GetTickCount();
", "kernel32.dll");

$user32 = FFI::cdef("
typedef unsigned int    UINT;
typedef const char *    LPCSTR;
typedef void *          HANDLE;
typedef HANDLE          HWND;
int MessageBoxA(HWND,LPCSTR,LPCSTR,UINT);
", "user32.dll");

exit(main());
function main(){
    global $kernel32, $user32;

    $count = $kernel32->GetTickCount();
    echo($user32->MessageBoxA(NULL, "The tick count is " . $count, "Ticky Ticky", 1) . "\n");

    return 0;
}

?>