Index: Tools/TestWebKitAPI/Tests/mac/devicePixelRatio.html |
diff --git a/Tools/TestWebKitAPI/Tests/mac/devicePixelRatio.html b/Tools/TestWebKitAPI/Tests/mac/devicePixelRatio.html |
deleted file mode 100644 |
index f6acf86787922df8fb490721262cfda1e6afbfff..0000000000000000000000000000000000000000 |
--- a/Tools/TestWebKitAPI/Tests/mac/devicePixelRatio.html |
+++ /dev/null |
@@ -1,23 +0,0 @@ |
-<!DOCTYPE html> |
-<style> |
- #detector { width: 5px; } |
- @media (-webkit-device-pixel-ratio:1) { #detector { width: 10px; } } |
- @media (-webkit-device-pixel-ratio:3) { #detector { width: 30px; } } |
- @media (-webkit-device-pixel-ratio:4) { #detector { width: 40px; } } |
-</style> |
-<script> |
- function devicePixelRatioFromStyle() { |
- var width = getComputedStyle(document.getElementById("detector")).width; |
- switch (width) { |
- case "10px": |
- return 1; |
- case "30px": |
- return 3; |
- case "40px": |
- return 4; |
- default: |
- return "unknown width: " + width; |
- } |
- } |
-</script> |
-<div id="detector"></div> |