Remove extraneous namespaces

mojo/services/public/interfaces/navigation/navigation.mojom

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 import "mojo/services/public/interfaces/network/url_loader.mojom"
 
-module mojo.navigation {
+module mojo {
 
 // Expresses a preference for where a navigation will be performed.
 enum Target {
   // No preference
   DEFAULT,
 
   // In the same ViewManager node that the navigation was initiated
   SOURCE_NODE,
 
   // In a new ViewManager node
@@ skipping 30 matching lines @@
 // by embedders.
 // |response_details| can be NULL when a navigation was not the result of a
 // network load.
 interface Navigator {
   Navigate(uint32 node_id,
            NavigationDetails navigation_details,
            ResponseDetails response_details);
 };
 
 }