void
register_external_js (
string
 
url)
Adds an external javascript file (identified by its url) to the default_customizers of ALL resources.
Will be appended to the end of the page.
url
An url (as a string) to a javascript file
This should be used in modules of the standard library not loaded by default (so not stdlib.*)
(Its interest is very limited in user code, since it's easier to customize resources directly)

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.