old_t 1530 ext/soap/php_sdl.c time_t old_t; old_t 1565 ext/soap/php_sdl.c WSDL_CACHE_GET(old_t, time_t, &in); old_t 1566 ext/soap/php_sdl.c if (old_t < t) { old_t 1571 ext/soap/php_sdl.c *cached = old_t;