Firefox extension stub