Merge "Return $wgSitename as displayname for local repo in filerepoinfo API"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 May 2014 06:38:40 +0000 (06:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 May 2014 06:38:40 +0000 (06:38 +0000)
commitc0cdf0e91186728c8e283bbcc977d6831f4b93d1
tree25af2256ba3e2b7fee3ee3301de9478defdcff08
parent39aa51bfbed8dd557d945d568963c2dad5429016
parent277ecacff2aa0ecd343a181605dff87e660b5f83
Merge "Return $wgSitename as displayname for local repo in filerepoinfo API"
includes/filerepo/FileRepo.php