add WebGLRenderingContext to gl

[michaeljherrmann]

Please fill in this template.

• Use a meaningful title for the pull request. Include the name of the package modified.
• Test the change in your own code. (Compile and run.)
• Add or edit tests to reflect the change.
• Follow the advice from the readme.
• Avoid common mistakes.
• Run npm test <package to test>.

Select one of these and delete the others:

If changing an existing definition:

• Provide a URL to documentation or source code which provides context for the suggested changes: stackgl/headless-gl@v5.0.3...v6.0.1#diff-e727e4bdf3657fd1d798edcd6b099d6e092f8573cba266154583a746bba0f346
• If this PR brings the type definitions up to date with a new version of the JS library, update the version number in the header.

[typescript-bot]

@michaeljherrmann Thank you for submitting this PR! I see this is your first time submitting to DefinitelyTyped 👋 — I'm the local bot who will help you through the process of getting things through.

This is a live comment which I will keep updated.

1 package in this PR

• gl — on npm, on unpkg

Code Reviews

Because you edited one package and updated the tests (👏), I can help you merge this PR once someone else signs off on it.

You can test the changes of this PR in the Playground.

Status

• ✅ No merge conflicts
• ✅ Continuous integration tests have passed
• ✅ Most recent commit is approved by type definition owners, DT maintainers or others

All of the items on the list are green. To merge, you need to post a comment including the string "Ready to merge" to bring in your changes.

---

Diagnostic Information: What the bot saw about this PR

{
  "type": "info",
  "now": "-",
  "pr_number": 62647,
  "author": "michaeljherrmann",
  "headCommitOid": "0ddca199d5ddc4b54051fc82ae57f8b9d90f0864",
  "mergeBaseOid": "6531b9751f58c48d548c763eb49c0e17bbd52a73",
  "lastPushDate": "2022-10-10T23:43:34.000Z",
  "lastActivityDate": "2022-10-28T21:19:51.000Z",
  "mergeOfferDate": "2022-10-28T18:48:35.000Z",
  "mergeRequestDate": "2022-10-28T21:19:51.000Z",
  "mergeRequestUser": "michaeljherrmann",
  "hasMergeConflict": false,
  "isFirstContribution": true,
  "tooManyFiles": false,
  "hugeChange": false,
  "popularityLevel": "Well-liked by everyone",
  "pkgInfo": [
    {
      "name": "gl",
      "kind": "edit",
      "files": [
        {
          "path": "types/gl/gl-tests.ts",
          "kind": "test"
        },
        {
          "path": "types/gl/index.d.ts",
          "kind": "definition"
        }
      ],
      "owners": [
        "DefinitelyTyped"
      ],
      "addedOwners": [],
      "deletedOwners": [],
      "popularityLevel": "Well-liked by everyone"
    }
  ],
  "reviews": [
    {
      "type": "approved",
      "reviewer": "peterblazejewicz",
      "date": "2022-10-28T18:47:48.000Z",
      "isMaintainer": true
    }
  ],
  "mainBotCommentID": 1273919231,
  "ciResult": "pass"
}

[typescript-bot]

🔔 @DefinitelyTyped — please review this PR in the next few days. Be sure to explicitly select Approve or Request Changes in the GitHub UI so I know what's going on.

[typescript-bot]

Re-ping @DefinitelyTyped:

This PR has been out for over a week, yet I haven't seen any reviews.

Could someone please give it some attention? Thanks!

[michaeljherrmann]

@peterblazejewicz are you able to review this for me? (or recommend someone to?) thanks!

[peterblazejewicz]

LGTM!
@michaeljherrmann thanks!

[typescript-bot]

@michaeljherrmann: Everything looks good here. I am ready to merge this PR (at 0ddca19) on your behalf whenever you think it's ready.

If you'd like that to happen, please post a comment saying:

Ready to merge

and I'll merge this PR almost instantly. Thanks for helping out! ❤️

(@DefinitelyTyped: you can do this too.)

[michaeljherrmann]

Ready to merge