Prevent buffering of user feedback output (may be a problem in cygwin)

diff --git a/maintenance/rebuildlinks.php b/maintenance/rebuildlinks.php
index 8423a6a..7fe0c1d 100644 (file)
--- a/maintenance/rebuildlinks.php
+++ b/maintenance/rebuildlinks.php
@@ -10,6 +10,8 @@ if ( ! is_readable( "../LocalSettings.php" ) ) {
 }
 
 $wgCommandLineMode = true;
+ini_set("implicit_flush", 1);
+
 $DP = "../includes";
 include_once( "../LocalSettings.php" );
 include_once( "../AdminSettings.php" );