comparison index.php @ 1073:fc10fc30cd76

Fix.
author Matti Hamalainen <ccr@tnsp.org>
date Tue, 24 Jan 2017 17:55:11 +0200
parents 7da8bde9b7be
children e1cfbfb0b64a
comparison
equal deleted inserted replaced
1072:7da8bde9b7be 1073:fc10fc30cd76
68 // Fetch non-"hardcoded" settings from SQL database 68 // Fetch non-"hardcoded" settings from SQL database
69 stReloadSettings(); 69 stReloadSettings();
70 70
71 // Output the page menu etc. 71 // Output the page menu etc.
72 echo 72 echo
73 "<!-- header -->\n".
73 "<div id=\"header\">\n". 74 "<div id=\"header\">\n".
74 stGetSetting("siteInfoText"). 75 stGetSetting("siteInfoText").
75 " <div id=\"menu\">\n". 76 " <div id=\"menu\">\n".
76 " ".stGetSetting("siteMenuHeader")."\n". 77 " ".stGetSetting("siteMenuHeader")."\n".
77 " <div id=\"menuInner\">\n". 78 " <div id=\"menuInner\">\n".
93 stGetMainPageLink("admin.php", "Admin", $visibility || stGetSetting("showAdmin")). 94 stGetMainPageLink("admin.php", "Admin", $visibility || stGetSetting("showAdmin")).
94 stGetSetting("siteMenuFooter"). 95 stGetSetting("siteMenuFooter").
95 " </div>\n". 96 " </div>\n".
96 " </div>\n". 97 " </div>\n".
97 "</div>\n". 98 "</div>\n".
98 "<div id=\"infobox\">".$pageName."</div>\n"; 99 "<!-- main -->\n".
100 "<div id=\"infobox\">".$pageName."</div>\n".
99 "<div id=\"mainContent\">\n". 101 "<div id=\"mainContent\">\n".
100 "<div id=\"mainContentInner\">\n". 102 "<div id=\"mainContentInner\">\n".
101 "<div id=\"mainContentWrap\">\n"; 103 "<div id=\"mainContentWrap\">\n";
102 104
103 if (file_exists($pagePath.$pageName.$pageExt)) 105 if (file_exists($pagePath.$pageName.$pageExt))
105 107
106 echo 108 echo
107 "</div>\n". 109 "</div>\n".
108 "</div>\n". 110 "</div>\n".
109 "</div>\n". 111 "</div>\n".
110 stGetSetting("siteExtraHTML"); 112 "<!-- extra -->\n".
113 stGetSetting("siteExtraHTML").
114 "\n".
115 "<!-- end -->\n";
111 116
112 cmPrintPageFooter(); 117 cmPrintPageFooter();
113 ?> 118 ?>