From 8e87afae5b744c3e23490000bf0d398d6d4a749c Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
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 7bf0841c..ca73f9d7 100644
--- a/tinyfilemanager.php
+++ b/tinyfilemanager.php
@@ -2249,7 +2249,6 @@ class="edit-file"><i class="fa fa-pencil-square-o"></i> <?php echo lng('Advanced
 /**
  * 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;