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.

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

INI: Swap out header for section #3304

Merged
merged 3 commits into from Jan 24, 2022

Conversation

hoonweiting
Copy link
Contributor

@hoonweiting hoonweiting commented Jan 21, 2022

This PR replaces the header token with section, bringing INI in line with editorconfig and systemd.

@github-actions
Copy link

github-actions bot commented Jan 21, 2022

JS File Size Changes (gzipped)

A total of 1 files have changed, with a combined diff of -3 B (-1.1%).

file master pull size diff % diff
components/prism-ini.min.js 274 B 271 B -3 B -1.1%

Generated by 🚫 dangerJS against 9adab01

tests/languages/ini/section_feature.test Outdated Show resolved Hide resolved
@RunDevelopment
Copy link
Member

RunDevelopment commented Jan 24, 2022

Thank you for all the great PRs, and sorry for the delay.

Just one minor nit with this one :)

@hoonweiting
Copy link
Contributor Author

hoonweiting commented Jan 24, 2022

It's great to see you! Don't worry about any delay, hope you've been doing well :D

@RunDevelopment RunDevelopment merged commit deb3a97 into PrismJS:master Jan 24, 2022
12 checks passed
@RunDevelopment
Copy link
Member

RunDevelopment commented Jan 24, 2022

Thank you @hoonweiting!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants