X-Git-Url: http://git.cyclocoop.org/%28?a=blobdiff_plain;f=includes%2Fexport%2FDumpPipeOutput.php;h=0521c5a13152884e2b4728f4d5f3ed99de7d49d8;hb=260a734173bcc6b414aafb92de559505fe47bafc;hp=a353c447618118d3a8ab85335d480517aeb0b1bd;hpb=d260f1396f7cff4a2212f2181c38310c786b52f5;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/export/DumpPipeOutput.php b/includes/export/DumpPipeOutput.php
index a353c44761..0521c5a131 100644
--- a/includes/export/DumpPipeOutput.php
+++ b/includes/export/DumpPipeOutput.php
@@ -32,6 +32,7 @@ use MediaWiki\Shell\Shell;
  */
 class DumpPipeOutput extends DumpFileOutput {
 	protected $command, $filename;
+	/** @var resource|bool */
 	protected $procOpenResource = false;
 
 	/**