diff --git a/htdocs/core/lib/json.lib.php b/htdocs/core/lib/json.lib.php
index 9a4ee2aa45e..4c81c759cb7 100644
--- a/htdocs/core/lib/json.lib.php
+++ b/htdocs/core/lib/json.lib.php
@@ -265,6 +265,7 @@ if (!function_exists('json_encode')) {
 	 */
 	function json_encode($elements)
 	{
+		// @phan-suppress-next-line PhanDeprecatedFunction
 		return dol_json_encode($elements);
 	}
 }
@@ -427,6 +428,7 @@ if (!function_exists('json_decode')) {
 	 */
 	function json_decode($json, $assoc = false)
 	{
+		// @phan-suppress-next-line PhanDeprecatedFunction
 		return dol_json_decode($json, $assoc);
 	}
 }