nobody bc1c9f3aef HTML filter active by default (#1249)		2022-12-13 06:08:31 +01:00
..
constants.js	HTML filter active by default (#1249)	2022-12-13 06:08:31 +01:00
file-guard.js	…
interceptor.js	Block all non GET requests to CDN (#1226)	2022-11-29 07:03:15 +01:00
main.js	Customizable badge for missing resources and some code improvements (#613)	2021-08-12 06:37:45 +02:00
manipulate-dom.js	Check HTML filter improved	2022-07-10 07:10:26 +02:00
mappings.js	swagger-ui v4.15.5 (#1246)	2022-12-10 07:13:55 +01:00
messenger.js	Toggle button for Google Fonts (#620)	2021-08-13 06:15:10 +02:00
request-analyzer.js	vex-js: vex-theme-wireframe.css -> vex-theme-wireframe.min.css (#1183)	2022-10-24 06:38:10 +02:00
request-sanitizer.js	Initial commit to add wildcard for Google Fonts and HTML filters (#613)	2021-08-07 08:39:10 +02:00
resources.js	swagger-ui v4.15.5 (#1246)	2022-12-10 07:13:55 +01:00
shorthands.js	Mapping: webcomponentsjs -> cdn.jsdelivr.net (#1184)	2022-10-24 18:36:34 +02:00
state-manager.js	HTML filter active by default (#1249)	2022-12-13 06:08:31 +01:00
storage-manager.js	Fixed: Settings import function (#1234)	2022-12-04 12:26:55 +01:00