ejabberd - ユーザーのユーザー名を変更する API はありますか

Question

登録ユーザーのユーザー名を変更する API はありますか。Ejabberd は、ユーザー名を変更するための API キーを提供していないので、これを行う方法はありますか? PHP で書かれた新しい API か ejabberdctl コマンドかもしれません。