Made LocalFile avoid duplicate (name,timestamp) pairs
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 13 May 2014 22:03:32 +0000 (15:03 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 13 May 2014 22:03:32 +0000 (15:03 -0700)
commit605329976fcad085ff954376297cfb20310d3c4d
treed6e0aa7d5678a7022c21adbdc341c58e36a9672f
parent6125d3fbf7bb046d2765d3ef058ea984871ca36c
Made LocalFile avoid duplicate (name,timestamp) pairs

* Various bits of code seem to assume uniqueness already

bug: 65264
Change-Id: Ib00fdbe87a79296c640cd69d74928236ce7a4aee
includes/filerepo/file/LocalFile.php