@@ -242,7 +242,7 @@ discard block |
||
242 | 242 | // with an existing web framework can more easily do so. |
243 | 243 | // To do so, define page_head() in the project include file. |
244 | 244 | // |
245 | -if (!function_exists("page_head")){ |
|
245 | +if (!function_exists("page_head")) { |
|
246 | 246 | function page_head( |
247 | 247 | $title, |
248 | 248 | // page title. Put in <title>, used as title for browser tab. |
@@ -361,7 +361,8 @@ discard block |
||
361 | 361 | echo '<div class="container-fluid"> |
362 | 362 | '; |
363 | 363 | |
364 | - switch($title) { //kludge |
|
364 | + switch($title) { |
|
365 | +//kludge |
|
365 | 366 | case tra("Log in"): |
366 | 367 | case tra("Create an account"): |
367 | 368 | case tra("Server status page"): |
@@ -376,7 +377,7 @@ discard block |
||
376 | 377 | |
377 | 378 | // See the comments for page_head() |
378 | 379 | // |
379 | -if (!function_exists("page_tail")){ |
|
380 | +if (!function_exists("page_tail")) { |
|
380 | 381 | function page_tail( |
381 | 382 | $show_date=false, |
382 | 383 | // true for pages that are generated periodically rather than on the fly |
@@ -882,7 +883,7 @@ discard block |
||
882 | 883 | return $str; |
883 | 884 | } |
884 | 885 | |
885 | -function strip_bbcode($string){ |
|
886 | +function strip_bbcode($string) { |
|
886 | 887 | return preg_replace("/((\[.+\])+?)(.+?)((\[\/.+\])+?)/","",$string); |
887 | 888 | } |
888 | 889 | |
@@ -1186,7 +1187,7 @@ discard block |
||
1186 | 1187 | // Otherwise return 0. |
1187 | 1188 | // Format of user agent string is "BOINC client (windows_x86_64 7.3.17)" |
1188 | 1189 | // |
1189 | -function boinc_client_version(){ |
|
1190 | +function boinc_client_version() { |
|
1190 | 1191 | if (!array_key_exists('HTTP_USER_AGENT', $_SERVER)) return 0; |
1191 | 1192 | $x = $_SERVER['HTTP_USER_AGENT']; |
1192 | 1193 | $e = "/BOINC client [^ ]* (\d+).(\d+).(\d+)\)/"; |