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 "mediawiki.page.ready: Avoid duplicate DOM query on logout click"
[lhc/web/wiklou.git]
/
includes
/
export
/
XmlDumpWriter.php
diff --git
a/includes/export/XmlDumpWriter.php
b/includes/export/XmlDumpWriter.php
index
0003506
..
e697ef2
100644
(file)
--- a/
includes/export/XmlDumpWriter.php
+++ b/
includes/export/XmlDumpWriter.php
@@
-658,6
+658,8
@@
class XmlDumpWriter {
*/
function writeUpload( $file, $dumpContents = false ) {
if ( $file->isOld() ) {
+ /** @var OldLocalFile $file */
+ '@phan-var OldLocalFile $file';
$archiveName = " " .
Xml::element( 'archivename', null, $file->getArchiveName() ) . "\n";
} else {