[whatwg] Inconsistent naming for interfaces in workers

The Navigator and WorkerLocation interfaces in workers have inconsistent  
naming. Please rename the Navigator interface to WorkerNavigator.

-- 
Simon Pieters
Opera Software

Received on Monday, 7 December 2009 07:49:32 UTC