From 8e87afae5b744c3e23490000bf0d398d6d4a749c Mon Sep 17 00:00:00 2001 From: Michele Locati Date: Thu, 14 Sep 2023 11:35:36 +0200 Subject: [PATCH] Fix wrong phpdoc of print_external() (#1091) --- tinyfilemanager.php | 1 - 1 file changed, 1 deletion(-) diff --git a/tinyfilemanager.php b/tinyfilemanager.php index 7bf0841..ca73f9d 100644 --- a/tinyfilemanager.php +++ b/tinyfilemanager.php @@ -2249,7 +2249,6 @@ fm_show_footer(); /** * It prints the css/js files into html * @param key The key of the external file to print. - * @return The value of the key in the array. */ function print_external($key) { global $external;