Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix api.DOMHighResTimestamp.mdn_url #5260

Merged
merged 1 commit into from
Dec 4, 2019
Merged

Fix api.DOMHighResTimestamp.mdn_url #5260

merged 1 commit into from
Dec 4, 2019

Conversation

bershanskiy
Copy link
Contributor

Summary

Fix api.DOMHighResTimestamp.mdn_url to match capitalization used everywhere else (in the spec, in MDN content).
This is purely cosmetic change as the server uses case-insensitive paths.

Related issues

This fixes one url that draft linter from #5201 fails on.

A checklist to help your pull request get merged faster:

  • Summarize your changes
  • Data: link to resources that verify support information (such as browser's docs, changelogs, source control, bug trackers, and tests)
  • Data: if you tested something, describe how you tested with details like browser and version
  • Review the results of the linter and fix problems reported (If you need help, please ask in a comment!)
  • Link to related issues or pull requests, if any

@bershanskiy
Fix api.DOMHighResTimestamp.mdn_url
1436133 
This is purely cosmetic change as the server uses case-insensitive paths.
@ghost ghost added the data:api Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API label Dec 4, 2019
queengooborg
queengooborg approved these changes Dec 4, 2019
View reviewed changes
Copy link
Contributor

@queengooborg queengooborg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me! 👍

@queengooborg queengooborg merged commit 73ef3a0 into mdn:master Dec 4, 2019
@bershanskiy bershanskiy mentioned this pull request Dec 4, 2019
Closed
@bershanskiy bershanskiy deleted the mdn_url.DOMHighResTimestamp branch December 4, 2019 16:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@queengooborg queengooborg queengooborg approved these changes

Assignees
No one assigned
Labels
data:api Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@bershanskiy @queengooborg