It's not the same syntax, that's my point.
pref() in a prefs.js file is NOT the same as pref() in an AutoConfig.js file.
pref() in prefs.js sets the default pref, defaultPref() in an Autoconfig sets a default pref.
user_pref() in prefs.js sets a user pref, pref() in an AutoConfig file sets a user preference.
So what you're doing is making it look like autoconfig.js and prefs.js use the same syntax, when they do not.
It's not the same syntax, that's my point.
pref() in a prefs.js file is NOT the same as pref() in an AutoConfig.js file.
pref() in prefs.js sets the default pref, defaultPref() in an Autoconfig sets a default pref.
user_pref() in prefs.js sets a user pref, pref() in an AutoConfig file sets a user preference.
So what you're doing is making it look like autoconfig.js and prefs.js use the same syntax, when they do not.