pipe for stderr was troublesome on pages with many errors (buffer filled up), generic...
authorGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 6 May 2004 21:06:23 +0000 (21:06 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 6 May 2004 21:06:23 +0000 (21:06 +0000)
commit6267cadb18e9537753e69d1af7ff144cbc12f410
treef66963fcb58a74871f9543118c64d4a6b9a45463
parent315d66c7961629034db8fddb24fea51164c19f18
pipe for stderr was troublesome on pages with many errors (buffer filled up), generic message now
includes/Parser.php