| Index: client/html/generated/html/frog/PositionError.dart | 
| diff --git a/client/html/generated/html/frog/PositionError.dart b/client/html/generated/html/frog/PositionError.dart | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..236486375d2856195befc9d15184bce1659d9c42 | 
| --- /dev/null | 
| +++ b/client/html/generated/html/frog/PositionError.dart | 
| @@ -0,0 +1,13 @@ | 
| + | 
| +class _PositionErrorImpl implements PositionError native "*PositionError" { | 
| + | 
| +  static final int PERMISSION_DENIED = 1; | 
| + | 
| +  static final int POSITION_UNAVAILABLE = 2; | 
| + | 
| +  static final int TIMEOUT = 3; | 
| + | 
| +  final int code; | 
| + | 
| +  final String message; | 
| +} | 
|  |