Extension file for Safari.