// contents moved to global.js. No pages should import this file!