Load and setup Eruda with DOM plugin
See https://eruda.liriliri.io/ and https://github.com/liriliri/eruda if you don't know what does this script do.
Unlike other scripts (1, 2, 3, 4), this script make use of the @require, instead of ask your browser to download Edura every time it loads. Ensures a faster and more stable loading.
This script use one space for it's -1 level indent, and the max width per line is 60 for the // ==UserScript== comment and 40 for the JavaScript code, for editing on mobile. Default setting and custom style included. Max log number is set to 256 to avoid performance issues on low-memory device.
As a side effect of using @require, if your UserScript manager don't update the @require itself, you have to manually update edura. Please refer to the document of your UserScript manager for the definite behavior, or "Should I update @require manually when using this UserScript manager".
To manually update edura and the plugin(s), just add ?anything to the end of the @require URL, just like:
https://cdn.jsdelivr.net/npm/eruda?t=1595040000000
and save the script. for the next update, just remove the ?t=.... For future updates, just add it back, and remove, and...
To get a specific version, just add @version to the end of the @require URL, just like:
https://cdn.jsdelivr.net/npm/[email protected]
and change the version code manually. Note that older versions support less or different default settings, you may need to write the config yourself. Check out https://www.jsdelivr.com/ for more about this.