diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-01-08 21:58:55 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-01-08 21:58:55 +0100 |
| commit | 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 (patch) | |
| tree | f11de558e7a09522a45d1c155d9707ecda6bf1eb /docs/en/admins/04_Frequently_Asked_Questions.md | |
| parent | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (diff) | |
Use typographic quotes (#4133)
* Use typographic quotes
* A few fixes
* Fix
* Fix not saved
* Implement feedback
* Detail
* Revert spoken English fixes
Left for a future dedicated discussion
* More reverts
* Final reverts
* Final minor
Diffstat (limited to 'docs/en/admins/04_Frequently_Asked_Questions.md')
| -rw-r--r-- | docs/en/admins/04_Frequently_Asked_Questions.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/admins/04_Frequently_Asked_Questions.md b/docs/en/admins/04_Frequently_Asked_Questions.md index cbabc3867..2e18ba802 100644 --- a/docs/en/admins/04_Frequently_Asked_Questions.md +++ b/docs/en/admins/04_Frequently_Asked_Questions.md @@ -15,7 +15,7 @@ You only have to do is to run the following command: Alternatively, you can edit configuration files manually. To do so, you need to change the *default_user* value in the file *./data/config.php*. -As the file is a PHP file, you have to make sure that it's still valid after the update by running the following command: +As the file is a PHP file, you have to make sure that it’s still valid after the update by running the following command: ```sh php -l ./data/config.php ``` |