archive-gh-me/Espruino
1
0
Fork 0
mirror of https://github.com/espruino/Espruino.git synced 2025-12-08 19:06:15 +00:00
Code Issues Projects Releases Wiki Activity

Fix library URLs

Browse Source
This commit is contained in:
qucchia 2022-07-22 08:33:21 +02:00
parent 9347f72e29
commit b3fa1234b1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/common.js
View File

@ -25,7 +25,7 @@ Builtin.prototype.getDescription = function() {
};
Builtin.prototype.getURL = function() {
if (this.type == "class")
if (this.type == "class" || this.type == "library")
anchor = this.class;
else if ("class" in this)
anchor = "l_"+this.class+"_"+this.name;