Merge "Update old URLs in DefaultSettings related to Squid caching"

[lhc/web/wiklou.git] / includes / export / DumpPipeOutput.php

diff --git a/includes/export/DumpPipeOutput.php b/includes/export/DumpPipeOutput.php
index a353c44..0521c5a 100644 (file)
--- 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;
 
        /**