New user REST endpoints
Last modified by Pierre Jeanjean on 2026/04/17 16:00
Two new REST endpoints have been added to fetch user information, and optionally user preferences. One of them takes a parameter and will attempt to resolve it to an actual wiki user, while the other provides information on the currently logged-in user.