* Make $wgUser->editToken() work for either logged-in or logged-out users.