diff options
Diffstat (limited to 'src/service/Installation.php')
| -rw-r--r-- | src/service/Installation.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/service/Installation.php b/src/service/Installation.php index 995ed4a..100001d 100644 --- a/src/service/Installation.php +++ b/src/service/Installation.php | |||
| @@ -12,12 +12,12 @@ class Installation | |||
| 12 | // ajouter plus tard zlib pour la compression des backups | 12 | // ajouter plus tard zlib pour la compression des backups |
| 13 | foreach($extensions as $extension){ | 13 | foreach($extensions as $extension){ |
| 14 | if(!extension_loaded($extension)){ | 14 | if(!extension_loaded($extension)){ |
| 15 | echo("<p>l'extension <b>" . $extension . "</b> est manquante.</p>"); | 15 | echo("<p>L'extension <b>" . $extension . "</b> est manquante.</p>"); |
| 16 | $flag = true; | 16 | $flag = true; |
| 17 | } | 17 | } |
| 18 | } | 18 | } |
| 19 | if(!class_exists(DOMDocument::class)){ // théoriquement plus fiable que extension_loaded() | 19 | if(!class_exists(DOMDocument::class)){ // théoriquement plus fiable que extension_loaded() |
| 20 | echo("<p>l'extension <b>dom</b> est manquante.</p>"); | 20 | echo("<p>L'extension <b>dom</b> est manquante.</p>"); |
| 21 | $flag = true; | 21 | $flag = true; |
| 22 | } | 22 | } |
| 23 | 23 | ||
