From 737e69876dd520797bf5be90df57f1e5367a3ef1 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Tue, 28 Feb 2023 10:44:25 +0100
Subject: [PATCH] fix nasty php error

---
 inc/inc.Utils.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inc/inc.Utils.php b/inc/inc.Utils.php
index e26137cb4..f7d7f5026 100644
--- a/inc/inc.Utils.php
+++ b/inc/inc.Utils.php
@@ -380,7 +380,7 @@ function utf8_basename($path, $suffix='') { /* {{{ */
  * @return string valid file name
  */
 function getFilenameByDocname($content) { /* {{{ */
-	if(is_string) {
+	if(is_string($content)) {
 		$filename = $content;
 	} else {
 		$document = $content->getDocument();