michael@0: [DEFAULT]
michael@0: head = head_dirprovider.js
michael@0: tail = 
michael@0: firefox-appdir = browser
michael@0: 
michael@0: [test_bookmark_pref.js]
michael@0: [test_keys.js]