nobody 4ed63cc475 Updated: popper.js v2.4.4 (#103)		2020-09-12 10:23:11 +02:00
..
constants.js	Updated: Options page (#92 #93)	2020-08-30 19:07:14 +02:00
file-guard.js	Docs revised	2020-06-30 18:41:58 +02:00
interceptor.js	Availability of certain variables changed (#92)	2020-09-08 20:50:54 +02:00
main.js	Fixed: Migrate extension settings (#92)	2020-09-06 11:19:35 +02:00
manipulate-dom.js	Improved handling when HTML filter is not supported	2020-08-09 10:10:12 +02:00
mappings.js	Updated: popper.js v2.4.4 (#103)	2020-09-12 10:23:11 +02:00
messenger.js	Docs revised	2020-06-30 18:41:58 +02:00
request-analyzer.js	StorageHandler implemented (#92)	2020-08-30 18:56:36 +02:00
request-sanitizer.js	StorageHandler implemented (#92)	2020-08-30 18:56:36 +02:00
resources.js	Added: jQuery Easing Plugin v1.4.1 (#101)	2020-09-09 06:26:42 +02:00
shorthands.js	Fixed: Rocket Loader (#99)	2020-08-30 22:20:31 +02:00
state-manager.js	Availability of certain variables changed (#92)	2020-09-08 20:50:54 +02:00
storage-manager.js	Validation of statistics updated (#92)	2020-09-08 20:53:48 +02:00