aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2019-08-17 13:07:30 +0200
committerGravatar GitHub <noreply@github.com> 2019-08-17 13:07:30 +0200
commit38a4b22f7bb2eb51c5224d2a340e199d6a280797 (patch)
treeeaff83c9e803a060bd88095eda1a1eae4f24600d /docs
parent544fcc4500df0808aba190f26d7b185ffe1f0f53 (diff)
Doc MariaDB (#2494)
Diffstat (limited to 'docs')
-rw-r--r--docs/en/contributing.md2
-rw-r--r--docs/fr/developers/02_Github.md2
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/en/contributing.md b/docs/en/contributing.md
index 19f9cb9b1..45c1650fb 100644
--- a/docs/en/contributing.md
+++ b/docs/en/contributing.md
@@ -20,7 +20,7 @@ If you have to create a new ticket, try to apply the following advices:
- We also need some information:
+ Your FreshRSS version (on about page or `constants.php` file)
+ Your server configuration: type of hosting, PHP version
- + Your storage system (MySQL / MariaDB / PostgreSQL or SQLite)
+ + Your storage system (SQLite, MySQL, MariaDB, PostgreSQL)
+ If possible, the related logs (PHP logs and FreshRSS logs under `data/users/your_user/log.txt`)
## Fix a bug
diff --git a/docs/fr/developers/02_Github.md b/docs/fr/developers/02_Github.md
index b4fa7b301..686b69ec4 100644
--- a/docs/fr/developers/02_Github.md
+++ b/docs/fr/developers/02_Github.md
@@ -63,7 +63,7 @@ Pensez à donner les informations suivantes si vous les connaissez :
1. Quel navigateur ? Quelle version ?
2. Quel serveur : Apache, Nginx ? Quelle version ?
3. Quelle version de PHP ?
- 4. MySQL ou SQLite ? Quelle version ?
+ 4. Quelle base de données : SQLite, MySQL, MariaDB, PostgreSQL ? Quelle version ?
5. Quelle distribution sur le serveur ? Et… quelle version ?
----