Jeremy Ruston 1c23059204 Dynamic loading/unloading of plugins (#4259) ... * First pass at dynamic loading/unloading * Show warning for changes to plugins containing JS modules * Use $:/config/RegisterPluginType/* for configuring whether a plugin type is automatically registered Where "registered" means "the constituent shadows are loaded". * Fix the info plugin The previous mechanism re-read all plugin info during startup * Don't prettify JSON in the plugin library * Indicate in plugin library whether a plugin requires reloading * Display the highlighted plugin name in the plugin chooser And if there's no name field fall back to the part of the title after the final slash.		2019-09-16 12:15:39 +01:00
..
boot.css.tid	Tweaks for RSOD adjustments 7468ad7	2018-05-10 15:29:31 +01:00
boot.js	Dynamic loading/unloading of plugins (#4259)	2019-09-16 12:15:39 +01:00
bootprefix.js	Minor tweaks to boot kernel for AWS	2015-12-19 18:52:25 +00:00
sjcl.js	Update Stanford JavaScript Library to 1.0.7	2017-07-18 15:42:35 +01:00
sjcl.js.meta	Make the core into a plugin	2013-03-28 17:07:30 +00:00