dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
022dd24
)
Merge "Remove old workaround for HHVM"
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Oct 2017 19:42:22 +0000
(19:42 +0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Fri, 13 Oct 2017 19:42:22 +0000
(19:42 +0000)
maintenance/Maintenance.php
patch
|
blob
|
history
diff --git
a/maintenance/Maintenance.php
b/maintenance/Maintenance.php
index
9a29055
..
7de0ae4
100644
(file)
--- a/
maintenance/Maintenance.php
+++ b/
maintenance/Maintenance.php
@@
-1470,13
+1470,7
@@
abstract class Maintenance {
}
if ( $isatty && function_exists( 'readline' ) ) {
- $resp = readline( $prompt );
- if ( $resp === null ) {
- // Workaround for https://github.com/facebook/hhvm/issues/4776
- return false;
- } else {
- return $resp;
- }
+ return readline( $prompt );
} else {
if ( $isatty ) {
$st = self::readlineEmulation( $prompt );