Remove mapping for iOS WebKit header repos

svn_to_git_public.py

Index: svn_to_git_public.py
diff --git a/svn_to_git_public.py b/svn_to_git_public.py
index 25f546195dfe45d1a0b1111c7553e452d968124c..a2d215bbb25c7d51c4ee56ba599ece6989286925 100755
--- a/svn_to_git_public.py
+++ b/svn_to_git_public.py
@@ -129,18 +129,8 @@ def SvnUrlToGitUrl(path, svn_url):
   if svn_url == BLINK_TRUNK:
     return (path, GIT_HOST + 'chromium/blink.git')
 
-  # Minimal header-only webkit directories for iOS.
-  if svn_url == ('http://svn.webkit.org/repository/webkit/trunk/Source/' +
-                 'WebKit/chromium/public'):
-    return (path,
-            GIT_HOST + 'external/WebKit/Source/WebKit/chromium/public.git')
-  if svn_url == ('http://svn.webkit.org/repository/webkit/trunk/Source/' +
-                 'Platform/chromium/public'):
-    return (path,
-            GIT_HOST + 'external/WebKit/Source/Platform/chromium/public.git')
-
-  # Ignore all webkit directories (other than the above), since we fetch the
-  # whole thing directly for all but iOS.
+  # Ignore all webkit directories, since we fetch the whole thing directly for
+  # all but iOS.
   if svn_url == '/trunk/deps/third_party/WebKit':
     return