tophf 85a5702fe0 refactor lint report stuff, use $element		2017-08-31 23:19:43 +03:00
..
dom.js	refactor lint report stuff, use $element	2017-08-31 23:19:43 +03:00
localization.js	Use optimal DOM selection functions	2017-08-27 17:20:46 -05:00
messaging.js	FF: ignore lastError in sendMessage where irrelevant	2017-08-28 15:20:38 +03:00
prefs.js	FF: when not dom.storage.enabled use dummies	2017-08-28 15:20:38 +03:00