Merge "Add $wgReauthenticateTime to extension.json"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Dec 2018 01:28:26 +0000 (01:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Dec 2018 01:28:26 +0000 (01:28 +0000)
commit550c1035aab896d77441f1347723e34109067446
tree37d13f5d1e462a9ad64958241ff58a7156d26341
parent0e04e7c82cfa00e9aa2007595513d97b4f2b7e23
parent265cb893cbadc1f8a1e6fa82dc00229737ac0314
Merge "Add $wgReauthenticateTime to extension.json"