[FileRepo] Added option to shorten long file names.
authorAaron <aschulz@wikimedia.org>
Fri, 31 Aug 2012 21:21:39 +0000 (14:21 -0700)
committerAaron <aschulz@wikimedia.org>
Fri, 31 Aug 2012 23:33:59 +0000 (16:33 -0700)
commit303d8be8ee4e39792eac388c171ef0e870ad621d
tree4cc9097ce6938aa82bc598e61320859a5a99214f
parentc85de2a1e7428d67141489c2fa0fb6b075111244
[FileRepo] Added option to shorten long file names.

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