Searched defs:readline_write_history (Results 1 – 2 of 2) sorted by relevance
23 function readline_write_history(?string $filename = null): bool {} function
382 PHP_FUNCTION(readline_write_history) in PHP_FUNCTION() argument
Completed in 5 milliseconds
