Add dummy dart:html library for documentation.

lib/html/doc/interface/SVGMatrix.dart

Index: lib/html/doc/interface/SVGMatrix.dart
diff --git a/lib/html/doc/interface/SVGMatrix.dart b/lib/html/doc/interface/SVGMatrix.dart
new file mode 100644
index 0000000000000000000000000000000000000000..7f5ef5bc261dbff1e226efc077473ee0bd1d4996
--- /dev/null
+++ b/lib/html/doc/interface/SVGMatrix.dart
@@ -0,0 +1,60 @@
+// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// WARNING: Do not edit - generated code.
+
+/// @domName SVGMatrix
+interface SVGMatrix {
+
+  /** @domName SVGMatrix.a */
+  num a;
+
+  /** @domName SVGMatrix.b */
+  num b;
+
+  /** @domName SVGMatrix.c */
+  num c;
+
+  /** @domName SVGMatrix.d */
+  num d;
+
+  /** @domName SVGMatrix.e */
+  num e;
+
+  /** @domName SVGMatrix.f */
+  num f;
+
+  /** @domName SVGMatrix.flipX */
+  SVGMatrix flipX();
+
+  /** @domName SVGMatrix.flipY */
+  SVGMatrix flipY();
+
+  /** @domName SVGMatrix.inverse */
+  SVGMatrix inverse();
+
+  /** @domName SVGMatrix.multiply */
+  SVGMatrix multiply(SVGMatrix secondMatrix);
+
+  /** @domName SVGMatrix.rotate */
+  SVGMatrix rotate(num angle);
+
+  /** @domName SVGMatrix.rotateFromVector */
+  SVGMatrix rotateFromVector(num x, num y);
+
+  /** @domName SVGMatrix.scale */
+  SVGMatrix scale(num scaleFactor);
+
+  /** @domName SVGMatrix.scaleNonUniform */
+  SVGMatrix scaleNonUniform(num scaleFactorX, num scaleFactorY);
+
+  /** @domName SVGMatrix.skewX */
+  SVGMatrix skewX(num angle);
+
+  /** @domName SVGMatrix.skewY */
+  SVGMatrix skewY(num angle);
+
+  /** @domName SVGMatrix.translate */
+  SVGMatrix translate(num x, num y);
+}