[FileRepo] Allow different file URLs for media based on file extension.
authorAaron Schulz <aschulz@wikimedia.org>
Sat, 13 Oct 2012 00:24:31 +0000 (17:24 -0700)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 8 Nov 2012 06:19:39 +0000 (06:19 +0000)
commit33385876042d4aeaccd690fcfc9c1aa866b36752
treec9fde9d195ea5fbdf9e2eb4a36da3d44b212ac16
parentbcda3de17cbe46994c0e6c7cf614f9c7e82542cb
[FileRepo] Allow different file URLs for media based on file extension.

Change-Id: Ib647377312c93c8ed046f7b9510d0e656788cdc3
includes/DefaultSettings.php
includes/filerepo/FileRepo.php
includes/filerepo/file/File.php
thumb.php