Fix possible return values from `readline` (#762)

2020-03-20 15:21:36 +01:00 · 2020-03-20 15:21:36 +01:00 · 92d2a4a6c0
parent 0d172edd5f
commit 92d2a4a6c0
1 changed files with 2 additions and 2 deletions
--- a/readline/readline.php
+++ b/readline/readline.php
@ -8,8 +8,8 @@
 * @param string $prompt [optional] <p>
 * You may specify a string with which to prompt the user.
 * </p>
- * @return string a single string from the user. The line returned has the ending
- * newline removed.
+ * @return string|false a single string from the user. The line returned has the ending newline removed. 
+ * If there is no more data to read, then FALSE is returned.
 */
 function readline ($prompt = null) {}