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

Prevent www.w3.org/scripts/ from being triggered #21

Closed
plehegar opened this issue Dec 4, 2015 · 2 comments
Closed

Prevent www.w3.org/scripts/ from being triggered #21

plehegar opened this issue Dec 4, 2015 · 2 comments
Labels
bug

Comments

@plehegar
Copy link
Member

plehegar commented Dec 4, 2015

eg. http://webaudio.github.io/web-audio-api/
don't allow MathJax from running otherwise it will generate extra markup that shouldn't be replaced.
@plehegar plehegar added the bug label Dec 4, 2015
@tripu
Copy link
Member

tripu commented Dec 6, 2015

Thanks for filing this one, @plehegar.
Just a comment: scripts should be enabled/disabled individually, not necessarily depending on whether they're loaded from w3.org or from some other place, yes?

@plehegar
Copy link
Member Author

plehegar commented Dec 7, 2015

correct.
here we want to disable in the spec-generator any script in www.w3.org/scripts/. Those should be left as-is in the generated document, without them touching the doc in the spec-generator.

@plehegar plehegar mentioned this issue Dec 8, 2015
Closed
tripu referenced this issue in WebAudio/web-audio-api Dec 9, 2015
@tripu
Load MathJax from w3.org/scripts instead of CDN
f112a47
deniak added a commit that referenced this issue Dec 22, 2015
@deniak
Merge pull request #24 from w3c/exclude-scripts
6028743 
Disallow https://www.w3.org/scripts/. Fixes #21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tripu @plehegar