/* Firefox: no platform-specific code */