Lines Matching full:newer
2541 // was using the old jumpToSelection selector in its menu. Newer versions of Safari will use the2543 // (1) Compatibility between older Safari and newer WebKit; (2) other WebKit-based applications
