remove unused strcasecmp on windows, it conflicts with the one from webkit,...

remove unused strcasecmp on windows, it conflicts with the one from webkit, check in on behave of dglazkov@chromium.org

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@594 ce2b1a6d-e550-0410-aec6-3dcde31c8c00

src/platform-win32.cc

@@ -153,13 +153,6 @@ int random() {
 }
 
 
-// Case-insensitive string comparisons. Use stricmp() on Win32. Usually defined
-// in strings.h.
-int strcasecmp(const char* s1, const char* s2) {
-  return _stricmp(s1, s2);
-}
-
-
 // Case-insensitive bounded string comparisons. Use stricmp() on Win32. Usually
 // defined in strings.h.
 int strncasecmp(const char* s1, const char* s2, int n) {

src/platform.h

@@ -68,7 +68,6 @@ int signbit(double x);
 
 int random();
 
-int strcasecmp(const char* s1, const char* s2);
 int strncasecmp(const char* s1, const char* s2, int n);
 
 #else