Style fix for r76220

diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index e1e0098..5e615e6 100644 (file)
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -1070,11 +1070,7 @@ abstract class Maintenance {
        public static function readconsole( $prompt = '> ' ) {
                static $isatty = null;
                if ( is_null( $isatty ) ) {
-                       if ( posix_isatty( 0 /*STDIN*/ ) ) {
-                               $isatty = true;
-                       } else {
-                               $isatty = false;
-                       }
+                       $isatty = posix_isatty( 0 /*STDIN*/ );
                }
 
                if ( $isatty && function_exists( 'readline' ) ) {