diff options
| author | 2019-08-17 13:07:30 +0200 | |
|---|---|---|
| committer | 2019-08-17 13:07:30 +0200 | |
| commit | 38a4b22f7bb2eb51c5224d2a340e199d6a280797 (patch) | |
| tree | eaff83c9e803a060bd88095eda1a1eae4f24600d /docs/en | |
| parent | 544fcc4500df0808aba190f26d7b185ffe1f0f53 (diff) | |
Doc MariaDB (#2494)
Diffstat (limited to 'docs/en')
| -rw-r--r-- | docs/en/contributing.md | 2 |
1 files changed, 1 insertions, 1 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 |
