mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2025-09-07 13:28:01 +00:00
Code Issues Releases Wiki Activity

Give plugins a pluginType field

Browse Source 
Ordinary plugins have the type "plugin", we'll also have "theme" and
"language"
This commit is contained in:
Jeremy Ruston
2013-04-28 18:16:22 +01:00
parent 996a7279ed
commit 40ac461ca1
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
boot/boot.js
View File

@@ -1038,10 +1038,9 @@ $tw.loadPluginFolder = function(filepath,excludeRegExp) {
title: pluginInfo.title,
type: "application/json",
plugin: "yes",
text: JSON.stringify(pluginInfo,null,4)
}
if("pluginPriority" in pluginInfo) {
fields.pluginPriority = pluginInfo.pluginPriority;
text: JSON.stringify(pluginInfo,null,4),
pluginPriority: pluginInfo.pluginPriority,
pluginType: pluginInfo.pluginType || "plugin"
}
return fields;
} else {