re r67320: output a newline if we switch from channeled to unchanneled output

diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index 9a987bf..6433296 100644 (file)
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -226,6 +226,7 @@ abstract class Maintenance {
                }
                if ( $channel === null ) {
                        $f = fopen( 'php://stdout', 'w' );
+                       if ( $this->lastChannel !== null ) fwrite( $f, "\n" );
                        fwrite( $f, $out );
                        fclose( $f );
                }