nobody 9b8083ed2c URL to wiki page updated (#105)		2020-09-13 08:00:14 +02:00
..
constants.js	URL to wiki page updated (#105)	2020-09-13 08:00: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: Import user settings (#102)	2020-09-12 17:22:25 +02:00
manipulate-dom.js	Improved handling when HTML filter is not supported	2020-08-09 10:10:12 +02:00
mappings.js	Added: AnchorJS v3.2.2 & v4.2.2 (#104)	2020-09-12 10:31:18 +02:00
messenger.js	Docs revised	2020-06-30 18:41:58 +02:00
migrate.js	Fixed: Import user settings (#102)	2020-09-12 17:22:25 +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: AnchorJS v3.2.2 & v4.2.2 (#104)	2020-09-12 10:31:18 +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