From 1c65ac4c85847d5ecf86dc53760081069cf11e4c Mon Sep 17 00:00:00 2001
From: Tim Schaub <tim.schaub@gmail.com>
Date: Mon, 15 Aug 2022 16:58:18 -0600
Subject: [PATCH] Include : in characters that separate a short name

---
 config/jsdoc/api/template/publish.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/jsdoc/api/template/publish.js b/config/jsdoc/api/template/publish.js
index 082b29dd24..5fe1d54433 100644
--- a/config/jsdoc/api/template/publish.js
+++ b/config/jsdoc/api/template/publish.js
@@ -41,7 +41,7 @@ function getShortName(longname) {
   if (longname.includes('<')) {
     return longname;
   }
-  return longname.split(/[\~\.#]/).pop();
+  return longname.split(/[\~\.#\:]/).pop();
 }
 
 function linkto(longname, linkText, cssClass, fragmentId) {