wikimedia/mediawiki-extensions-MultimediaViewer
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-11-25 00:25:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Ignore case in file extension checks"

Browse source
This commit is contained in:
jenkins-bot 2015-10-26 23:37:51 +00:00 committed by Gerrit Code Review
parent e4da024b3f 056e339ac4
commit 00ebd0542f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
resources/mmv/provider/mmv.provider.GuessedThumbnailInfo.js
View file

@ -175,7 +175,7 @@
* @return {boolean}
*/
GuessedThumbnailInfo.prototype.canHaveLargerThumbnailThanOriginal = function ( file ) {
return ( file.getExtension() in this.vectorExtensions );
return ( file.getExtension().toLowerCase() in this.vectorExtensions );
};
/**
@ -185,7 +185,7 @@
* @return {boolean}
*/
GuessedThumbnailInfo.prototype.canBeDisplayedInBrowser = function ( file ) {
return ( file.getExtension() in this.displayableExtensions );
return ( file.getExtension().toLowerCase() in this.displayableExtensions );
};
/**