jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/393603 )
Change subject: Allow file headers to be refreshed from database
......................................................................
Allow file headers to be refreshed from database
Bug: T178849
Change-Id: I100458cdb55db10d49c586c83876b7d1645ec486
---
M maintenance/refreshFileHeaders.php
1 file changed, 9 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Gilles: Looks good to me, approved
diff --git a/maintenance/refreshFileHeaders.php
b/maintenance/refreshFileHeaders.php
index bd625ba..3bae4b8 100644
--- a/maintenance/refreshFileHeaders.php
+++ b/maintenance/refreshFileHeaders.php
@@ -40,6 +40,12 @@
$this->addOption( 'media_type', 'Media type to filter for',
false, true );
$this->addOption( 'major_mime', 'Major mime type to filter
for', false, true );
$this->addOption( 'minor_mime', 'Minor mime type to filter
for', false, true );
+ $this->addOption(
+ 'refreshContentType',
+ 'Set true to refresh file content type from mime data
in db',
+ false,
+ false
+ );
$this->setBatchSize( 200 );
}
@@ -100,6 +106,9 @@
foreach ( $res as $row ) {
$file = $repo->newFileFromRow( $row );
$headers = $file->getContentHeaders();
+ if ( $this->getOption( 'refreshContentType',
false ) ) {
+ $headers['Content-Type'] =
$row->img_major_mime . '/' . $row->img_minor_mime;
+ }
if ( count( $headers ) ) {
$backendOperations[] = [
--
To view, visit https://gerrit.wikimedia.org/r/393603
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I100458cdb55db10d49c586c83876b7d1645ec486
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Cparle <[email protected]>
Gerrit-Reviewer: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Gilles <[email protected]>
Gerrit-Reviewer: Matthias Mullie <[email protected]>
Gerrit-Reviewer: Parent5446 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
