Make deinitions and output of script includes nicer
Adding some indents
HTML comment -> twig comment
 type="text/css" not needed with html5
No closing needed with html5
Rename page_scripts to page_scripts_inc to distinguish from page_script
Move initialisation of moments.js to bolt.js
Generated bolt.js
Don't display Settings menu header if now menuentries are displayed
Move PermissionLexerException to its own classfile
Move PermissionParserException to its own classfile
Fix uses
Merge pull request #2054 from rarila/permissionparser

Move PermissionLexerException and PermissionParserException to its own file
Merge pull request #2051 from rarila/enhance-pagetwig

Enhance page.twig
Merge pull request #2052 from rarila/no-menu-header-on-empty-menu

Don't display "Settings" menu heading if no submenus are to be displayed