diff --git a/ecrire/inc/flock.php b/ecrire/inc/flock.php
index d156ac7e769e543e573cc1c8ecb304628137c0b8..72fd99e92726c4d9e651a4d5ea1b1492aef200fd 100644
--- a/ecrire/inc/flock.php
+++ b/ecrire/inc/flock.php
@@ -390,11 +390,8 @@ function lire_fichier_securise($fichier, &$contenu, $options = []) {
  * Arrête le script PHP par un exit;
  *
  * @uses minipres() Pour afficher le message
- *
- * @param string $fichier
- *     Chemin du fichier
  **/
-function raler_fichier($fichier) {
+function raler_fichier(string $fichier): never {
 	if (!defined('_SPIP_ECRIRE_SCRIPT')) {
 		spip_initialisation_suite();
 	}