[Maria-developers] Obtaining usernames in MariaDB UDFs