* Fix bug #33461.

2023-03-29 13:36:16 +08:00
parent 64ccf3e306
commit eb182b1874
6 changed files with 10 additions and 6 deletions
@@ -311,3 +311,8 @@ $(document).ready(function()
        return false;
    });
 });
+
+function locateNewLib(type, objectID, libID)
+{
+    location.href = createLink('doc', 'tableContents', 'type=' + type + '&objectID=' + objectID + '&libID=' + libID);
+}