<!DOCTYPE html>
<html>
<head>
<script>
if (window.testRunner)
    testRunner.dumpAsText();
</script>
<script src="resources/echo-data-encoding-with-gzip.php?type=text/javascript&q=didExecuteScript%3D1%3B"></script>
</head>
<body>
<p><span id="result">FAIL did not</span> execute gzip-encoded JavaScript script.</p>
<script>
if (didExecuteScript !== undefined)
    document.getElementById("result").textContent = "PASS did";
</script>
</body>
</html>