From 842ced1c638a18439ae13ee9f6cdd2ecf97eca0c Mon Sep 17 00:00:00 2001
From: ericgaspar <junk.eg@free.fr>
Date: Mon, 15 Mar 2021 09:08:48 +0100
Subject: [PATCH] Update manifest.json

---
 manifest.json | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/manifest.json b/manifest.json
index 1231b15..5cf64d8 100644
--- a/manifest.json
+++ b/manifest.json
@@ -24,29 +24,17 @@
             {
                 "name": "domain",
                 "type": "domain",
-                "ask": {
-                    "en": "Choose a domain name for HedgeDoc",
-                    "fr": "Choisissez un nom de domaine pour HedgeDoc"
-                },
                 "example": "domain.org"
             },
             {
                 "name": "path",
                 "type": "path",
-                "ask": {
-                    "en": "Choose a path for HedgeDoc",
-                    "fr": "Choisissez un chemin pour HedgeDoc"
-                },
                 "example": "/hedgedoc",
                 "default": "/hedgedoc"
             },
             {
                 "name": "is_public",
                 "type": "boolean",
-                "ask": {
-                    "en": "Is it a public site?",
-                    "fr": "Est-ce un site public ?"
-                },
                 "help": {
                     "en": "If enabled, HedgeDoc will be accessible by people who do not have an account. This can be changed later via the webadmin.",
                     "fr": "Si cette case est cochée, HedgeDoc sera accessible aux personnes n’ayant pas de compte. Vous pourrez changer ceci plus tard via la webadmin."