push all website files

2025-09-08 15:57:21 +00:00 · 2019-01-06 13:14:45 -06:00
parent d7301e26c3
commit d2d5d4c04e
15662 changed files with 2166516 additions and 0 deletions
--- a/website/functions/node_modules/har-schema/lib/page.json
+++ b/website/functions/node_modules/har-schema/lib/page.json
@@ -0,0 +1,32 @@
+{
+  "$id": "page.json#",
+  "$schema": "http://json-schema.org/draft-06/schema#",
+  "type": "object",
+  "optional": true,
+  "required": [
+    "startedDateTime",
+    "id",
+    "title",
+    "pageTimings"
+  ],
+  "properties": {
+    "startedDateTime": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^(\\d{4})(-)?(\\d\\d)(-)?(\\d\\d)(T)?(\\d\\d)(:)?(\\d\\d)(:)?(\\d\\d)(\\.\\d+)?(Z|([+-])(\\d\\d)(:)?(\\d\\d))"
+    },
+    "id": {
+      "type": "string",
+      "unique": true
+    },
+    "title": {
+      "type": "string"
+    },
+    "pageTimings": {
+      "$ref": "pageTimings.json#"
+    },
+    "comment": {
+      "type": "string"
+    }
+  }
+}