author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | |
Wed, 5 Dec 2018 18:59:50 +0000 (18:59 +0000) | ||
committer | Gerrit Code Review <gerrit@wikimedia.org> | |
Wed, 5 Dec 2018 18:59:50 +0000 (18:59 +0000) | ||
commit | 9ff8e0a94621ff441ba68f64de76c69a5b9c9319 | |
tree | 1650e604e7ce1233141745a83cc1cc5eb70ba23a | tree | snapshot |
parent | 0833cae960f3360c1e2208122ed17dae08e24a90 | commit | diff |
parent | 6db35b3c98ee807c71d8187ea45d69999df63b38 | commit | diff |
RELEASE-NOTES-1.33 | diff1 | | diff2 | | blob | history |
includes/DefaultSettings.php | diff1 | | diff2 | | blob | history |