@@ -254,7 +254,7 @@ discard block |
||
254 | 254 | // with an existing web framework can more easily do so. |
255 | 255 | // To do so, define page_head() in html/project/project.inc |
256 | 256 | // |
257 | -if (!function_exists("page_head")){ |
|
257 | +if (!function_exists("page_head")) { |
|
258 | 258 | function page_head( |
259 | 259 | $title, |
260 | 260 | // page title. Put in <title>, used as title for browser tab. |
@@ -375,7 +375,8 @@ discard block |
||
375 | 375 | echo '<div class="container-fluid"> |
376 | 376 | '; |
377 | 377 | |
378 | - switch($title) { //kludge |
|
378 | + switch($title) { |
|
379 | +//kludge |
|
379 | 380 | case tra("Log in"): |
380 | 381 | case tra("Create an account"): |
381 | 382 | case tra("Server status page"): |
@@ -390,7 +391,7 @@ discard block |
||
390 | 391 | |
391 | 392 | // See the comments for page_head() |
392 | 393 | // |
393 | -if (!function_exists("page_tail")){ |
|
394 | +if (!function_exists("page_tail")) { |
|
394 | 395 | function page_tail( |
395 | 396 | $show_date=false, |
396 | 397 | // true for pages that are generated periodically rather than on the fly |
@@ -895,7 +896,7 @@ discard block |
||
895 | 896 | return $str; |
896 | 897 | } |
897 | 898 | |
898 | -function strip_bbcode($string){ |
|
899 | +function strip_bbcode($string) { |
|
899 | 900 | return preg_replace("/((\[.+\])+?)(.+?)((\[\/.+\])+?)/","",$string); |
900 | 901 | } |
901 | 902 | |
@@ -1156,7 +1157,7 @@ discard block |
||
1156 | 1157 | // Otherwise return 0. |
1157 | 1158 | // Format of user agent string is "BOINC client (windows_x86_64 7.3.17)" |
1158 | 1159 | // |
1159 | -function boinc_client_version(){ |
|
1160 | +function boinc_client_version() { |
|
1160 | 1161 | if (!array_key_exists('HTTP_USER_AGENT', $_SERVER)) return 0; |
1161 | 1162 | $x = $_SERVER['HTTP_USER_AGENT']; |
1162 | 1163 | $e = "/BOINC client [^ ]* (\d+).(\d+).(\d+)\)/"; |