Add erasure status to users

src/components/users.js

@@ -185,6 +185,7 @@ export const UserList = props => {
         <BooleanField source="is_guest" />
         <BooleanField source="admin" />
         <BooleanField source="deactivated" />
+        <BooleanField source="erased" sortable={false} />
         <DateField
           source="creation_ts"
           label="resources.users.fields.creation_ts_ms"
@@ -338,6 +339,7 @@ export const UserEdit = props => {
             source="deactivated"
             helperText="resources.users.helper.deactivate"
           />
+          <BooleanInput source="erased" disabled />
           <DateField source="creation_ts_ms" showTime options={date_format} />
           <TextField source="consent_version" />
         </FormTab>

src/i18n/de.js

@@ -108,6 +108,7 @@ const de = {
         is_guest: "Gast",
         admin: "Server Administrator",
         deactivated: "Deaktiviert",
+        erased: "Gelöscht",
         guests: "Zeige Gäste",
         show_deactivated: "Zeige deaktivierte Benutzer",
         user_id: "Suche Benutzer",

src/i18n/en.js

@@ -107,6 +107,7 @@ const en = {
         is_guest: "Guest",
         admin: "Server Administrator",
         deactivated: "Deactivated",
+        erased: "Erased",
         guests: "Show guests",
         show_deactivated: "Show deactivated users",
         user_id: "Search user",