Oh cool, but does the included navigation have to be php, or can it be an html file?