Merge "Add $wgReauthenticateTime to extension.json"