dom.js
|
skip already queued in onDOMscripted
|
2017-08-29 17:14:57 +03:00 |
localization.js
|
Use optimal DOM selection functions
|
2017-08-27 17:20:46 -05:00 |
messaging.js
|
Add: install styles from *.user.css file
|
2017-08-30 17:29:41 +08:00 |
moz-parser.js
|
Fix: csslint is moved
|
2017-08-30 17:41:07 +08:00 |
prefs.js
|
FF: when not dom.storage.enabled use dummies
|
2017-08-28 15:20:38 +03:00 |
script-loader.js
|
Fix: remove unused variable 'event'
|
2017-09-01 14:36:13 +08:00 |
usercss.js
|
Add: install styles from *.user.css file
|
2017-08-30 17:29:41 +08:00 |