UI enhancements

This commit is contained in:
Patrick Jentsch
2023-03-21 10:50:29 +01:00
parent a676475b55
commit 622d32fa45
8 changed files with 163 additions and 78 deletions

View File

@ -42,7 +42,7 @@ def user(user_id):
last_seen=last_seen,
member_since=member_since,
own_public_corpora=own_public_corpora,
user=user.to_json_serializeable(),
user=user,
user_id=user_id,
title=user.username
)