Add to documentation that the OS must be restarted to disable SElinux.

doc/en/installation/from_packages.rst

@@ -137,6 +137,8 @@ SELinux should be disabled; for this, you have to modify the file "/etc/sysconfi
 
     SELINUX=disabled
 
+After saving the file, please reboot your operating system to apply the changes.
+
 PHP timezone
 ^^^^^^^^^^^^
 

doc/en/installation/from_sources.rst

@@ -683,6 +683,8 @@ SELinux should be disabled; for this, you have to modify the file "/etc/sysconfi
 
  SELINUX=disabled
 
+After saving the file, please reboot your operating system to apply the changes.
+
 PHP timezone should be set; go to /etc/php.d directory and create a file named php-timezone.ini who contain the following line :
 
  ::

doc/fr/installation/from_packages.rst

@@ -136,6 +136,8 @@ SELinux doit être désactivé. Pour cela vous devez modifier le fichier "/etc/s
 
     SELINUX=disabled
 
+Après avoir sauvegardé le fichier, veuillez redémarrer votre système d'exploitation pour prendre en compte les changements.
+
 Fuseau horaire PHP
 ^^^^^^^^^^^^^^^^^^
 

doc/fr/installation/from_sources.rst

@@ -701,6 +701,8 @@ SELinux doit être désactivé. Pour cela, vous devez modifier le fichier "/etc/
 
  SELINUX=disabled
 
+Après avoir sauvegardé le fichier, veuillez redémarrer votre système d'exploitation pour prendre en compte les changements.
+
 La timezone par défaut de PHP doit être configurée. Pour cela, allez dans le répertoire /etc/php.d et créez un fichier nommé php-timezone.ini contenant la ligne suivante :
 
  ::