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