Deleted branch header-and-id in repository web-php.
Pusher: derickr
Before: Add IDs to section headers, and tweak h? level to be semantically cor… · php/web-php@e80976d · GitHub
Compare: https://github.com/php/web-php/compare/e80976dd612e...000000000000
Tree: GitHub - php/web-php at header-and-id