Index: client/html/generated/html/dartium/WorkerLocation.dart |
diff --git a/client/html/generated/html/dartium/WorkerLocation.dart b/client/html/generated/html/dartium/WorkerLocation.dart |
deleted file mode 100644 |
index dd73bffed6eb07c7af2d2d64e8aa5cfd8d4e65e7..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/WorkerLocation.dart |
+++ /dev/null |
@@ -1,24 +0,0 @@ |
- |
-class _WorkerLocationImpl extends _DOMTypeBase implements WorkerLocation { |
- _WorkerLocationImpl._wrap(ptr) : super._wrap(ptr); |
- |
- String get hash() => _wrap(_ptr.hash); |
- |
- String get host() => _wrap(_ptr.host); |
- |
- String get hostname() => _wrap(_ptr.hostname); |
- |
- String get href() => _wrap(_ptr.href); |
- |
- String get pathname() => _wrap(_ptr.pathname); |
- |
- String get port() => _wrap(_ptr.port); |
- |
- String get protocol() => _wrap(_ptr.protocol); |
- |
- String get search() => _wrap(_ptr.search); |
- |
- String toString() { |
- return _wrap(_ptr.toString()); |
- } |
-} |