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