@@ -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+)\)/"; |