Fix wrong phpdoc of print_external() (#1091)

This commit is contained in:
Michele Locati 2023-09-14 11:35:36 +02:00 committed by GitHub
parent 43063e4746
commit 8e87afae5b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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;