nobody b38ec6f46b Set correct charset in HTML when HTML filter is active (#736)		2021-10-23 10:08:13 +02:00
..
constants.js	Displayed name of CDN updated	2021-10-09 12:06:38 +02:00
file-guard.js	Just code style (JS)	2021-02-17 07:01:08 +01:00
interceptor.js	Logging improved (#703)	2021-09-29 07:10:37 +02:00
main.js	Customizable badge for missing resources and some code improvements (#613)	2021-08-12 06:37:45 +02:00
manipulate-dom.js	Set correct charset in HTML when HTML filter is active (#736)	2021-10-23 10:08:13 +02:00
mappings.js	bootswatch (flatly) v3.4.0 (#689)	2021-09-23 08:20:01 +02:00
messenger.js	Toggle button for Google Fonts (#620)	2021-08-13 06:15:10 +02:00
request-analyzer.js	Initial commit to add wildcard for Google Fonts and HTML filters (#613)	2021-08-07 08:39: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	Angular source changed from cdnjs.com to ajax.googleapis.com (#691)	2021-09-26 08:38:54 +02:00
shorthands.js	jQuery from ajax.googleapis.com delivers wrong version (#627)	2021-08-15 18:24:59 +02:00
state-manager.js	Wildcard entries for HTML filter (#709)	2021-10-04 20:40:44 +02:00
storage-manager.js	Customizable badge for missing resources and some code improvements (#613)	2021-08-12 06:37:45 +02:00