Rename the [Lines] section to lowercase [lines]

[egmontkob]

This is to catch up with mc MidnightCommander/mc#4954 & MidnightCommander/mc#4955.

(Just a search-replace. Haven't tested.)

[zyv]

👍

[egmontkob]

A commit to which repo regenerates the skin homepage? (In other words: which one should I merge first?)

[zyv]

A commit to which repo regenerates the skin homepage? (In other words: which one should I merge first?)

Actually, both:

skins/.github/workflows/static.yml

Lines 3 to 10 in 9aa2fb7

	on:
	push:
	branches:
	- master
	repository_dispatch:
	types:
	- deploy-skins
	workflow_dispatch:

I wouldn't fret too much over it, as long as the PRs are merged not too long after each other.

[egmontkob]

The skin homepage is up and running with lowercase [lines] sections.

This one is not backwards compatible; if you paste there a skin with uppercase [Lines] then it doesn't display properly. Honestly it's a "meh" from me, I don't think it's worth fixing.

[zyv]

This one is not backwards compatible; if you paste there a skin with uppercase [Lines] then it doesn't display properly. Honestly it's a "meh" from me, I don't think it's worth fixing.

Agreed.