Move weborigin/ under platform/ so that it may someday call platform APIs

public/platform/Platform.h

Index: public/platform/Platform.h
diff --git a/public/platform/Platform.h b/public/platform/Platform.h
index c846f31d282fe303cac96b7892011ed4338ba9ba..7131cf0e9f812fc93f5c3f7d0424db7fe05ab5ca 100644
--- a/public/platform/Platform.h
+++ b/public/platform/Platform.h
@@ -76,6 +76,7 @@ class WebMediaStreamCenterClient;
 class WebMessagePortChannel;
 class WebMimeRegistry;
 class WebPluginListBuilder;
+class WebPublicSuffixList;
 class WebPrescientNetworking;
 class WebRTCPeerConnectionHandler;
 class WebRTCPeerConnectionHandlerClient;
@@ -334,6 +335,11 @@ public:
     virtual void getPluginList(bool refresh, WebPluginListBuilder*) { }
 
 
+    // Public Suffix List --------------------------------------------------
+
+    // May return NULL on some platforms.
+    virtual WebPublicSuffixList* publicSuffixList() { return 0; }
+

[abarth-chromium, 2013/11/05 06:47:29]

Two blank lines between sections pls.

     // Resources -----------------------------------------------------------
 
     // Returns a localized string resource (with substitution parameters).