Demos: changed include file extensions from html to php