From 8789ea27bb45f0ff5862ab44a066e30516e73a9a Mon Sep 17 00:00:00 2001
From: Gerrit Uitslag <klapinklapin@gmail.com>
Date: Tue, 22 Aug 2023 23:40:07 +0200
Subject: [PATCH 1/2] fix missing userlink()

---
 syntax.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/syntax.php b/syntax.php
index eabf212..21bb3cd 100755
--- a/syntax.php
+++ b/syntax.php
@@ -248,6 +248,7 @@ function _getUser($name)
         if ($user !== false and $this->getConf("show-realname")) {
             $dname = $user["name"];
         } else if ($this->getConf("show-profile-links")) {
+            $dname = userlink($name);
         } else if ($user !== false) {
             $dname = $name;
         } else {

From ff6e8808b765c4d984ab6edc8d55af94c71b4e81 Mon Sep 17 00:00:00 2001
From: Gerrit Uitslag <klapinklapin@gmail.com>
Date: Tue, 22 Aug 2023 23:45:59 +0200
Subject: [PATCH 2/2] Change wording of 'show-profile-links'

---
 lang/en/settings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lang/en/settings.php b/lang/en/settings.php
index 992f97a..9675a81 100644
--- a/lang/en/settings.php
+++ b/lang/en/settings.php
@@ -1,5 +1,5 @@
 <?php
 $lang["show-realname"] = "Show the real names instead of usernames";
 $lang["enable-pagelist"] = "Enable showing a page list for each user statistic";
-$lang["show-profile-links"] = "Enable making the name link to the user's profile page";
+$lang["show-profile-links"] = "Use DokuWiki's format for user name eventually with link to the user's profile page. This format is set in 'showuseras' configuration setting.";
 $lang["show-deleted-users"] = "Show deleted users";