Fix to respect --explicitly-allowed-ports command line option

public/platform/Platform.h

Index: public/platform/Platform.h
diff --git a/public/platform/Platform.h b/public/platform/Platform.h
index 6f50d496c3e41f01c650a76c141327faa9991f22..7ed2b4de9e2f59f29bcfb9658d39acf6df08b32a 100644
--- a/public/platform/Platform.h
+++ b/public/platform/Platform.h
@@ -334,6 +334,8 @@ public:
 
     virtual bool isReservedIPAddress(const WebString& host) const { return false; }
 
+    virtual bool portAllowed(const unsigned short port, bool isFtp) const { return false; }
+
     // Plugins -------------------------------------------------------------
 
     // If refresh is true, then cached information should not be used to