deploy: 3d60a58ad6

2024-12-16 23:14:21 +00:00
parent a763ad8c33
commit 89de6cef8f
4 changed files with 4 additions and 2 deletions
--- a/develop/admin_api/user_admin_api.html
+++ b/develop/admin_api/user_admin_api.html
@@ -192,6 +192,7 @@ for a server admin: see <a href="../usage/administration/admin_api/">Admin API</
    &quot;erased&quot;: false,
    &quot;shadow_banned&quot;: 0,
    &quot;creation_ts&quot;: 1560432506,
+    &quot;last_seen_ts&quot;: 1732919539393,
    &quot;appservice_id&quot;: null,
    &quot;consent_server_notice_sent&quot;: null,
    &quot;consent_version&quot;: null,
--- a/develop/print.html
+++ b/develop/print.html
@@ -14631,6 +14631,7 @@ for a server admin: see <a href="admin_api/../usage/administration/admin_api/">A
    &quot;erased&quot;: false,
    &quot;shadow_banned&quot;: 0,
    &quot;creation_ts&quot;: 1560432506,
+    &quot;last_seen_ts&quot;: 1732919539393,
    &quot;appservice_id&quot;: null,
    &quot;consent_server_notice_sent&quot;: null,
    &quot;consent_version&quot;: null,
--- a/develop/searchindex.js
+++ b/develop/searchindex.js
--- a/develop/searchindex.json
+++ b/develop/searchindex.json