From a845d2fbe51185cd3488249cab7e383f004f2402 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Sun, 10 Nov 2019 21:10:15 +0100
Subject: [PATCH] Fix phpcs issue introduced by PR #15556

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 libraries/classes/Util.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/classes/Util.php b/libraries/classes/Util.php
index 0e11ae9e3a..8cc028611b 100644
--- a/libraries/classes/Util.php
+++ b/libraries/classes/Util.php
@@ -4964,7 +4964,7 @@ class Util
     /**
      * Check that input is an int or an int in a string
      *
-     * @param mixed $input
+     * @param mixed $input The input
      *
      * @return bool
      */