author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | |
Tue, 21 Oct 2014 20:03:10 +0000 (20:03 +0000) | ||
committer | Gerrit Code Review <gerrit@wikimedia.org> | |
Tue, 21 Oct 2014 20:03:10 +0000 (20:03 +0000) | ||
commit | 2610395f793a778ceb4955145d1ffd9f5eb6b2f7 | |
tree | 8ccf5ff3925b2119cce9dd270613b2eedad93d3b | tree | snapshot |
parent | fbcfc191b14a427f5d245cded17dc1108023414b | commit | diff |
parent | cee4990f2a23dd688fe08627e648bffc9165dadf | commit | diff |
RELEASE-NOTES-1.25 | diff1 | | diff2 | | blob | history |
includes/DefaultSettings.php | diff1 | | diff2 | | blob | history |