Fix empty 'On this page' menu caused by duplicate/empty heading IDs#352

simonhamp merged 1 commit intomainNativePHP/nativephp.com:mainfrom

fix-empty-on-this-page-menuNativePHP/nativephp.com:fix-empty-on-this-page-menuCopy head branch name to clipboard