Searched refs:phpdbg_destroy_watchpoints (Results 1 – 3 of 3) sorted by relevance
121 void phpdbg_destroy_watchpoints(void);
1409 void phpdbg_destroy_watchpoints(void) { function
240 phpdbg_destroy_watchpoints(); in PHP_MSHUTDOWN_FUNCTION()
Completed in 19 milliseconds