dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge "Remove unused fields in ForeignDBViaLBRepo"
[lhc/web/wiklou.git]
/
includes
/
export
/
DumpPipeOutput.php
diff --git
a/includes/export/DumpPipeOutput.php
b/includes/export/DumpPipeOutput.php
index
ce899ed
..
26010da
100644
(file)
--- a/
includes/export/DumpPipeOutput.php
+++ b/
includes/export/DumpPipeOutput.php
@@
-34,7
+34,7
@@
class DumpPipeOutput extends DumpFileOutput {
/**
* @param string $command
- * @param string $file
+ * @param string
|null
$file
*/
function __construct( $command, $file = null ) {
if ( !is_null( $file ) ) {