Workaround for HHVM bug in readline()
authorTim Starling <tstarling@wikimedia.org>
Thu, 5 Feb 2015 05:07:05 +0000 (16:07 +1100)
committerTim Starling <tstarling@wikimedia.org>
Tue, 10 Feb 2015 06:13:15 +0000 (06:13 +0000)
commit97a802407ecc2455e938dc02accd43ebb86204ae
tree0a28776fb0122a5c3ac352d6170ad4970b918bb5
parent00e0a5301c8fec1b985c43c22d5df3c72c75c232
Workaround for HHVM bug in readline()

https://github.com/facebook/hhvm/issues/4776

Change-Id: I9d3e6817cee2fa2c11e02989a4b11915f0c708f5
maintenance/Maintenance.php