|
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: better error message
|
2017-08-30 17:40:19 +08:00 |
|
usercss.js
|
Add: install styles from *.user.css file
|
2017-08-30 17:29:41 +08:00 |
