@@ -169,7 +169,7 @@  | 
                                                    ||
| 169 | 169 | $notice = "";  | 
                                                        
| 170 | 170 | $dir = sandbox_dir($user);  | 
                                                        
| 171 | 171 | $count = count($_FILES['new_file']['tmp_name']);  | 
                                                        
| 172 | -    for ($i=0; $i<$count; $i++) { | 
                                                        |
| 172 | +    for ($i = 0; $i < $count; $i++) { | 
                                                        |
| 173 | 173 | $tmp_name = $_FILES['new_file']['tmp_name'][$i];  | 
                                                        
| 174 | 174 |          if (!is_uploaded_file($tmp_name)) { | 
                                                        
| 175 | 175 |              error_page("$tmp_name is not uploaded file"); | 
                                                        
@@ -91,7 +91,7 @@ discard block  | 
                                                    ||
| 91 | 91 | // return list of files matching given pattern,  | 
                                                        
| 92 | 92 | // in the format used for form_select() and form_select_multiple()  | 
                                                        
| 93 | 93 | //  | 
                                                        
| 94 | -function sandbox_select_items($user, $pattern=null) { | 
                                                        |
| 94 | +function sandbox_select_items($user, $pattern = null) { | 
                                                        |
| 95 | 95 | $sbfiles = sandbox_file_names($user);  | 
                                                        
| 96 | 96 | $sbitems = [];  | 
                                                        
| 97 | 97 |      foreach ($sbfiles as $f) { | 
                                                        
@@ -112,7 +112,7 @@ discard block  | 
                                                    ||
| 112 | 112 | }  | 
                                                        
| 113 | 113 | $files = sandbox_file_names($user);  | 
                                                        
| 114 | 114 |      foreach ($files as $f) { | 
                                                        
| 115 | -        if ($regexp && !preg_match("/$regexp/",$f)) continue; | 
                                                        |
| 115 | +        if ($regexp && !preg_match("/$regexp/", $f)) continue; | 
                                                        |
| 116 | 116 | $x .= "<option value=\"$f\">$f</option>\n";  | 
                                                        
| 117 | 117 | }  | 
                                                        
| 118 | 118 | $x .= "</select>\n";  | 
                                                        
@@ -160,8 +160,8 @@ discard block  | 
                                                    ||
| 160 | 160 | '%s <a href="%s&sort_field=%s&sort_rev=%d">%s</a>',  | 
                                                        
| 161 | 161 | $title,  | 
                                                        
| 162 | 162 | $url, $sort_field,  | 
                                                        
| 163 | - $sort_rev?0:1,  | 
                                                        |
| 164 | - $sort_rev?'↑':'↓'  | 
                                                        |
| 163 | + $sort_rev ? 0 : 1,  | 
                                                        |
| 164 | + $sort_rev ? '↑' : '↓'  | 
                                                        |
| 165 | 165 | );  | 
                                                        
| 166 | 166 |      } else { | 
                                                        
| 167 | 167 | return sprintf(  | 
                                                        
@@ -33,17 +33,17 @@ discard block  | 
                                                    ||
| 33 | 33 | //  | 
                                                        
| 34 | 34 | $config = get_config();  | 
                                                        
| 35 | 35 | global $master_url;  | 
                                                        
| 36 | -$master_url = parse_config($config , "<master_url>");  | 
                                                        |
| 36 | +$master_url = parse_config($config, "<master_url>");  | 
                                                        |
| 37 | 37 | $recaptcha_public_key = parse_config($config, "<recaptcha_public_key>");  | 
                                                        
| 38 | 38 | $recaptcha_private_key = parse_config($config, "<recaptcha_private_key>");  | 
                                                        
| 39 | 39 | |
| 40 | 40 | // Set parameters to defaults if not defined in config.xml  | 
                                                        
| 41 | 41 | |
| 42 | 42 | $x = parse_config($config, "<user_country>");  | 
                                                        
| 43 | -define('USER_COUNTRY', ($x===null)?1:(int)$x); | 
                                                        |
| 43 | +define('USER_COUNTRY', ($x === null) ? 1 : (int)$x); | 
                                                        |
| 44 | 44 | |
| 45 | 45 | $x = parse_config($config, "<user_url>");  | 
                                                        
| 46 | -define('USER_URL', ($x===null)?1:(int)$x); | 
                                                        |
| 46 | +define('USER_URL', ($x === null) ? 1 : (int)$x); | 
                                                        |
| 47 | 47 | |
| 48 | 48 | // Set parameters to defaults if not defined in project.inc  | 
                                                        
| 49 | 49 | |
@@ -151,10 +151,10 @@ discard block  | 
                                                    ||
| 151 | 151 | }  | 
                                                        
| 152 | 152 | |
| 153 | 153 |  function url_base() { | 
                                                        
| 154 | - return is_https()?secure_url_base():URL_BASE;  | 
                                                        |
| 154 | + return is_https() ?secure_url_base() : URL_BASE;  | 
                                                        |
| 155 | 155 | }  | 
                                                        
| 156 | 156 | |
| 157 | -function send_cookie($name, $value, $permanent, $ops=false) { | 
                                                        |
| 157 | +function send_cookie($name, $value, $permanent, $ops = false) { | 
                                                        |
| 158 | 158 | global $master_url;  | 
                                                        
| 159 | 159 | |
| 160 | 160 | // the following allows independent login for projects on the same server  | 
                                                        
@@ -165,11 +165,11 @@ discard block  | 
                                                    ||
| 165 | 165 | $path = substr($path, 0, -1);  | 
                                                        
| 166 | 166 | $path .= "_ops/";  | 
                                                        
| 167 | 167 | }  | 
                                                        
| 168 | - $expire = $permanent?time()+3600*24*365:0;  | 
                                                        |
| 168 | + $expire = $permanent ?time() + 3600*24*365 : 0;  | 
                                                        |
| 169 | 169 | setcookie($name, $value, $expire, $path);  | 
                                                        
| 170 | 170 | }  | 
                                                        
| 171 | 171 | |
| 172 | -function clear_cookie($name, $ops=false) { | 
                                                        |
| 172 | +function clear_cookie($name, $ops = false) { | 
                                                        |
| 173 | 173 | global $master_url;  | 
                                                        
| 174 | 174 | $url = parse_url($master_url);  | 
                                                        
| 175 | 175 | $path = $url['path'];  | 
                                                        
@@ -177,13 +177,13 @@ discard block  | 
                                                    ||
| 177 | 177 | $path = substr($path, 0, -1);  | 
                                                        
| 178 | 178 | $path .= "_ops/";  | 
                                                        
| 179 | 179 | }  | 
                                                        
| 180 | - setcookie($name, '', time()-3600, $path);  | 
                                                        |
| 180 | + setcookie($name, '', time() - 3600, $path);  | 
                                                        |
| 181 | 181 | }  | 
                                                        
| 182 | 182 | |
| 183 | 183 | $g_logged_in_user = null;  | 
                                                        
| 184 | 184 | $got_logged_in_user = false;  | 
                                                        
| 185 | 185 | |
| 186 | -function get_logged_in_user($must_be_logged_in=true) { | 
                                                        |
| 186 | +function get_logged_in_user($must_be_logged_in = true) { | 
                                                        |
| 187 | 187 | global $g_logged_in_user, $got_logged_in_user;  | 
                                                        
| 188 | 188 |      if ($got_logged_in_user) { | 
                                                        
| 189 | 189 | // this could have been called earlier with $must_be_logged_in false  | 
                                                        
@@ -209,7 +209,7 @@ discard block  | 
                                                    ||
| 209 | 209 | $next_url = $_SERVER['REQUEST_URI'];  | 
                                                        
| 210 | 210 | $n = strrpos($next_url, "/");  | 
                                                        
| 211 | 211 |              if ($n) { | 
                                                        
| 212 | - $next_url = substr($next_url, $n+1);  | 
                                                        |
| 212 | + $next_url = substr($next_url, $n + 1);  | 
                                                        |
| 213 | 213 | }  | 
                                                        
| 214 | 214 | }  | 
                                                        
| 215 | 215 | $next_url = urlencode($next_url);  | 
                                                        
@@ -220,7 +220,7 @@ discard block  | 
                                                    ||
| 220 | 220 | return $g_logged_in_user;  | 
                                                        
| 221 | 221 | }  | 
                                                        
| 222 | 222 | |
| 223 | -function show_login_info($prefix="") { | 
                                                        |
| 223 | +function show_login_info($prefix = "") { | 
                                                        |
| 224 | 224 | $user = get_logged_in_user(false);  | 
                                                        
| 225 | 225 |      if ($user) { | 
                                                        
| 226 | 226 | $url_tokens = url_tokens($user->authenticator);  | 
                                                        
@@ -230,7 +230,7 @@ discard block  | 
                                                    ||
| 230 | 230 | }  | 
                                                        
| 231 | 231 | }  | 
                                                        
| 232 | 232 | |
| 233 | -$cache_control_extra="";  | 
                                                        |
| 233 | +$cache_control_extra = "";  | 
                                                        |
| 234 | 234 | $is_login_page = false;  | 
                                                        
| 235 | 235 | |
| 236 | 236 | // Call this to start pages.  | 
                                                        
@@ -242,11 +242,11 @@ 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.  | 
                                                        
| 249 | - $body_attrs=null,  | 
                                                        |
| 249 | + $body_attrs = null,  | 
                                                        |
| 250 | 250 | // <body XXXX>  | 
                                                        
| 251 | 251 | // e.g. Javascript to put focus in an input field  | 
                                                        
| 252 | 252 | // (onload="document.form.foo.focus()")  | 
                                                        
@@ -255,10 +255,10 @@ discard block  | 
                                                    ||
| 255 | 255 | // if set, include schedulers.txt.  | 
                                                        
| 256 | 256 | // also pass to project_banner() in case you want a different  | 
                                                        
| 257 | 257 | // header for your main page.  | 
                                                        
| 258 | - $url_prefix="",  | 
                                                        |
| 258 | + $url_prefix = "",  | 
                                                        |
| 259 | 259 | // prepend this to links.  | 
                                                        
| 260 | 260 | // Use for web pages not in the top directory  | 
                                                        
| 261 | - $head_extra=null  | 
                                                        |
| 261 | + $head_extra = null  | 
                                                        |
| 262 | 262 | // extra stuff to put in <head>. E.g.:  | 
                                                        
| 263 | 263 | // reCAPTCHA code (create_profile.php)  | 
                                                        
| 264 | 264 | // bbcode javascript (forums)  | 
                                                        
@@ -280,7 +280,7 @@ discard block  | 
                                                    ||
| 280 | 280 |          header("Content-type: text/html; charset=utf-8"); | 
                                                        
| 281 | 281 |          header("Expires: Mon, 26 Jul 1997 05:00:00 UTC"); | 
                                                        
| 282 | 282 | // Date in the past  | 
                                                        
| 283 | -        header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " UTC"); | 
                                                        |
| 283 | +        header("Last-Modified: ".gmdate("D, d M Y H:i:s")." UTC"); | 
                                                        |
| 284 | 284 | // always modified  | 
                                                        
| 285 | 285 |          header("Cache-Control: $cache_control_extra no-cache, must-revalidate, post-check=0, pre-check=0"); | 
                                                        
| 286 | 286 | // for HTTP/1.1  | 
                                                        
@@ -301,11 +301,11 @@ discard block  | 
                                                    ||
| 301 | 301 |      if ($head_extra) { | 
                                                        
| 302 | 302 | echo "\n$head_extra\n";  | 
                                                        
| 303 | 303 | }  | 
                                                        
| 304 | -    if ($is_main && (!defined('NO_COMPUTING')||!NO_COMPUTING)) { | 
                                                        |
| 304 | +    if ($is_main && (!defined('NO_COMPUTING') || !NO_COMPUTING)) { | 
                                                        |
| 305 | 305 |          readfile("schedulers.txt"); | 
                                                        
| 306 | 306 | }  | 
                                                        
| 307 | 307 | |
| 308 | - $t = $title?$title:PROJECT;  | 
                                                        |
| 308 | + $t = $title ? $title : PROJECT;  | 
                                                        |
| 309 | 309 | echo "<title>$t</title>\n";  | 
                                                        
| 310 | 310 | echo '  | 
                                                        
| 311 | 311 | <meta charset="utf-8">  | 
                                                        
@@ -362,7 +362,7 @@ discard block  | 
                                                    ||
| 362 | 362 | echo '<div class="container-fluid">  | 
                                                        
| 363 | 363 | ';  | 
                                                        
| 364 | 364 | |
| 365 | -    switch($title) {    //kludge | 
                                                        |
| 365 | +    switch ($title) {    //kludge | 
                                                        |
| 366 | 366 |      case tra("Log in"): | 
                                                        
| 367 | 367 |      case tra("Create an account"): | 
                                                        
| 368 | 368 |      case tra("Server status page"): | 
                                                        
@@ -377,13 +377,13 @@ discard block  | 
                                                    ||
| 377 | 377 | |
| 378 | 378 | // See the comments for page_head()  | 
                                                        
| 379 | 379 | //  | 
                                                        
| 380 | -if (!function_exists("page_tail")){ | 
                                                        |
| 380 | +if (!function_exists("page_tail")) { | 
                                                        |
| 381 | 381 | function page_tail(  | 
                                                        
| 382 | - $show_date=false,  | 
                                                        |
| 382 | + $show_date = false,  | 
                                                        |
| 383 | 383 | // true for pages that are generated periodically rather than on the fly  | 
                                                        
| 384 | - $url_prefix="",  | 
                                                        |
| 384 | + $url_prefix = "",  | 
                                                        |
| 385 | 385 | // use for pages not at top level  | 
                                                        
| 386 | - $is_main=false  | 
                                                        |
| 386 | + $is_main = false  | 
                                                        |
| 387 | 387 | // passed to project_footer;  | 
                                                        
| 388 | 388 |  ) { | 
                                                        
| 389 | 389 | echo "<br>\n";  | 
                                                        
@@ -398,10 +398,10 @@ discard block  | 
                                                    ||
| 398 | 398 | }  | 
                                                        
| 399 | 399 | }  | 
                                                        
| 400 | 400 | |
| 401 | -function display_cvs_versions(){ | 
                                                        |
| 401 | +function display_cvs_versions() { | 
                                                        |
| 402 | 402 | global $cvs_version_tracker;  | 
                                                        
| 403 | 403 | echo "\n<!-- SVN VERSIONS -->\n";  | 
                                                        
| 404 | -    for ($i=0;$i<sizeof($cvs_version_tracker);$i++) { | 
                                                        |
| 404 | +    for ($i = 0; $i < sizeof($cvs_version_tracker); $i++) { | 
                                                        |
| 405 | 405 | echo "<!-- ".$cvs_version_tracker[$i]." -->\n";  | 
                                                        
| 406 | 406 | }  | 
                                                        
| 407 | 407 | }  | 
                                                        
@@ -426,24 +426,24 @@ discard block  | 
                                                    ||
| 426 | 426 | // convert time interval in seconds to a string of the form  | 
                                                        
| 427 | 427 | // 'D days h hours m min s sec'.  | 
                                                        
| 428 | 428 | |
| 429 | -function time_diff($x, $res=3) { | 
                                                        |
| 429 | +function time_diff($x, $res = 3) { | 
                                                        |
| 430 | 430 | $x = (int)$x;  | 
                                                        
| 431 | 431 | $days = (int)($x/86400);  | 
                                                        
| 432 | - $hours = (int)(($x-$days*86400)/3600);  | 
                                                        |
| 433 | - $minutes = (int)(($x-$days*86400-$hours*3600)/60);  | 
                                                        |
| 434 | - $seconds = $x % 60;  | 
                                                        |
| 432 | + $hours = (int)(($x - $days*86400)/3600);  | 
                                                        |
| 433 | + $minutes = (int)(($x - $days*86400 - $hours*3600)/60);  | 
                                                        |
| 434 | + $seconds = $x%60;  | 
                                                        |
| 435 | 435 | |
| 436 | 436 | $s = "";  | 
                                                        
| 437 | 437 |      if ($days) { | 
                                                        
| 438 | 438 |          $s .= "$days ".tra("days")." "; | 
                                                        
| 439 | 439 | }  | 
                                                        
| 440 | -    if ($res>0 && ($hours || strlen($s))) { | 
                                                        |
| 440 | +    if ($res > 0 && ($hours || strlen($s))) { | 
                                                        |
| 441 | 441 |          $s .= "$hours ".tra("hours")." "; | 
                                                        
| 442 | 442 | }  | 
                                                        
| 443 | -    if ($res>1 && ($minutes || strlen($s))) { | 
                                                        |
| 443 | +    if ($res > 1 && ($minutes || strlen($s))) { | 
                                                        |
| 444 | 444 |          $s .= "$minutes ".tra("min")." "; | 
                                                        
| 445 | 445 | }  | 
                                                        
| 446 | -    if ($res>2) { | 
                                                        |
| 446 | +    if ($res > 2) { | 
                                                        |
| 447 | 447 |          $s .= "$seconds ".tra("sec")." "; | 
                                                        
| 448 | 448 | }  | 
                                                        
| 449 | 449 | return $s;  | 
                                                        
@@ -457,7 +457,7 @@ discard block  | 
                                                    ||
| 457 | 457 | |
| 458 | 458 |  function time_str($x) { | 
                                                        
| 459 | 459 | if ($x == 0) return "---";  | 
                                                        
| 460 | -    return gmdate('j M Y, G:i:s', (int)$x) . " UTC"; | 
                                                        |
| 460 | +    return gmdate('j M Y, G:i:s', (int)$x)." UTC"; | 
                                                        |
| 461 | 461 | }  | 
                                                        
| 462 | 462 | |
| 463 | 463 |  function local_time_str($x) { | 
                                                        
@@ -469,14 +469,14 @@ discard block  | 
                                                    ||
| 469 | 469 | return time_str($x);  | 
                                                        
| 470 | 470 | }  | 
                                                        
| 471 | 471 | |
| 472 | -function start_table_str($class="", $style="") { | 
                                                        |
| 473 | - $s = $style?'style="'.$style.'"':'';  | 
                                                        |
| 472 | +function start_table_str($class = "", $style = "") { | 
                                                        |
| 473 | + $s = $style ? 'style="'.$style.'"' : '';  | 
                                                        |
| 474 | 474 | return '<div class="table">  | 
                                                        
| 475 | 475 | <table '.$s.' width="100%" class="table table-condensed '.$class.'" >  | 
                                                        
| 476 | 476 | ';  | 
                                                        
| 477 | 477 | }  | 
                                                        
| 478 | 478 | |
| 479 | -function start_table($class="", $style="") { | 
                                                        |
| 479 | +function start_table($class = "", $style = "") { | 
                                                        |
| 480 | 480 | echo start_table_str($class, $style);  | 
                                                        
| 481 | 481 | }  | 
                                                        
| 482 | 482 | |
@@ -521,7 +521,7 @@ discard block  | 
                                                    ||
| 521 | 521 | echo "</tr>\n";  | 
                                                        
| 522 | 522 | }  | 
                                                        
| 523 | 523 | |
| 524 | -function row1($x, $ncols=2, $class="heading") { | 
                                                        |
| 524 | +function row1($x, $ncols = 2, $class = "heading") { | 
                                                        |
| 525 | 525 |      if ($class == "heading") { | 
                                                        
| 526 | 526 | echo "<tr><th class=\"bg-primary\" colspan=\"$ncols\">$x</th></tr>\n";  | 
                                                        
| 527 | 527 |      } else { | 
                                                        
@@ -535,10 +535,10 @@ discard block  | 
                                                    ||
| 535 | 535 | |
| 536 | 536 | // a table row with 2 columns, with the left on right-aligned  | 
                                                        
| 537 | 537 | |
| 538 | -function row2($x, $y, $show_error=false, $lwidth='40%') { | 
                                                        |
| 539 | - if ($x==="") $x="<br>";  | 
                                                        |
| 540 | - if ($y==="") $y="<br>";  | 
                                                        |
| 541 | - $attrs = $show_error?VALUE_ATTRS_ERR:VALUE_ATTRS;  | 
                                                        |
| 538 | +function row2($x, $y, $show_error = false, $lwidth = '40%') { | 
                                                        |
| 539 | + if ($x === "") $x = "<br>";  | 
                                                        |
| 540 | + if ($y === "") $y = "<br>";  | 
                                                        |
| 541 | + $attrs = $show_error ?VALUE_ATTRS_ERR:VALUE_ATTRS;  | 
                                                        |
| 542 | 542 | echo "<tr>  | 
                                                        
| 543 | 543 | <td width=\"$lwidth\" ".NAME_ATTRS.">$x</td>  | 
                                                        
| 544 | 544 | <td $attrs >$y</td>  | 
                                                        
@@ -549,7 +549,7 @@ discard block  | 
                                                    ||
| 549 | 549 | // output the first part of row2();  | 
                                                        
| 550 | 550 | // then write the content, followed by </td></tr>  | 
                                                        
| 551 | 551 | |
| 552 | -function row2_init($x, $lwidth='40%') { | 
                                                        |
| 552 | +function row2_init($x, $lwidth = '40%') { | 
                                                        |
| 553 | 553 |      echo sprintf('<tr> | 
                                                        
| 554 | 554 | <td width="%s" %s>%s</td>  | 
                                                        
| 555 | 555 | <td %s>',  | 
                                                        
@@ -565,31 +565,31 @@ discard block  | 
                                                    ||
| 565 | 565 | echo "<tr><td>$string</td></tr>";  | 
                                                        
| 566 | 566 | }  | 
                                                        
| 567 | 567 | |
| 568 | -function row_array($x, $attrs=null) { | 
                                                        |
| 568 | +function row_array($x, $attrs = null) { | 
                                                        |
| 569 | 569 | echo "<tr>\n";  | 
                                                        
| 570 | 570 | $i = 0;  | 
                                                        
| 571 | 571 |      foreach ($x as $h) { | 
                                                        
| 572 | - $a = $attrs?$attrs[$i]:"";  | 
                                                        |
| 572 | + $a = $attrs ? $attrs[$i] : "";  | 
                                                        |
| 573 | 573 | echo "<td $a>$h</td>\n";  | 
                                                        
| 574 | 574 | $i++;  | 
                                                        
| 575 | 575 | }  | 
                                                        
| 576 | 576 | echo "</tr>\n";  | 
                                                        
| 577 | 577 | }  | 
                                                        
| 578 | 578 | |
| 579 | -define ('ALIGN_RIGHT', 'style="text-align:right;"'); | 
                                                        |
| 579 | +define('ALIGN_RIGHT', 'style="text-align:right;"'); | 
                                                        |
| 580 | 580 | |
| 581 | -function row_heading_array($x, $attrs=null, $class='bg-primary') { | 
                                                        |
| 581 | +function row_heading_array($x, $attrs = null, $class = 'bg-primary') { | 
                                                        |
| 582 | 582 | echo "<tr>";  | 
                                                        
| 583 | 583 | $i = 0;  | 
                                                        
| 584 | 584 |      foreach ($x as $h) { | 
                                                        
| 585 | - $a = $attrs?$attrs[$i]:"";  | 
                                                        |
| 585 | + $a = $attrs ? $attrs[$i] : "";  | 
                                                        |
| 586 | 586 | echo "<th $a class=\"$class\">$h</th>";  | 
                                                        
| 587 | 587 | $i++;  | 
                                                        
| 588 | 588 | }  | 
                                                        
| 589 | 589 | echo "</tr>\n";  | 
                                                        
| 590 | 590 | }  | 
                                                        
| 591 | 591 | |
| 592 | -function row_heading($x, $class='bg-primary') { | 
                                                        |
| 592 | +function row_heading($x, $class = 'bg-primary') { | 
                                                        |
| 593 | 593 |      echo sprintf('<tr><th class="%s" colspan=99>%s</th></tr> | 
                                                        
| 594 | 594 | ', $class, $x  | 
                                                        
| 595 | 595 | );  | 
                                                        
@@ -649,7 +649,7 @@ discard block  | 
                                                    ||
| 649 | 649 | // If $ellipsis is true, then an ellipsis is added to any sentence which  | 
                                                        
| 650 | 650 | // is cut short.  | 
                                                        
| 651 | 651 | |
| 652 | -function sub_sentence($sentence, $delimiter, $max_chars, $ellipsis=false) { | 
                                                        |
| 652 | +function sub_sentence($sentence, $delimiter, $max_chars, $ellipsis = false) { | 
                                                        |
| 653 | 653 | $words = explode($delimiter, $sentence);  | 
                                                        
| 654 | 654 | $total_chars = 0;  | 
                                                        
| 655 | 655 | $trunc = false;  | 
                                                        
@@ -732,8 +732,8 @@ discard block  | 
                                                    ||
| 732 | 732 | |
| 733 | 733 | // returns null if the arg is optional and missing  | 
                                                        
| 734 | 734 | //  | 
                                                        
| 735 | -function get_int($name, $optional=false) { | 
                                                        |
| 736 | - $x=null;  | 
                                                        |
| 735 | +function get_int($name, $optional = false) { | 
                                                        |
| 736 | + $x = null;  | 
                                                        |
| 737 | 737 | if (isset($_GET[$name])) $x = $_GET[$name];  | 
                                                        
| 738 | 738 |      if (!is_numeric($x)) { | 
                                                        
| 739 | 739 |          if ($optional) { | 
                                                        
@@ -752,7 +752,7 @@ discard block  | 
                                                    ||
| 752 | 752 | |
| 753 | 753 | // returns null if the arg is optional and missing  | 
                                                        
| 754 | 754 | //  | 
                                                        
| 755 | -function post_num($name, $optional=false) { | 
                                                        |
| 755 | +function post_num($name, $optional = false) { | 
                                                        |
| 756 | 756 | $x = null;  | 
                                                        
| 757 | 757 | if (isset($_POST[$name])) $x = $_POST[$name];  | 
                                                        
| 758 | 758 |      if (!is_numeric($x)) { | 
                                                        
@@ -767,7 +767,7 @@ discard block  | 
                                                    ||
| 767 | 767 | |
| 768 | 768 | // returns null if the arg is optional and missing  | 
                                                        
| 769 | 769 | //  | 
                                                        
| 770 | -function post_int($name, $optional=false) { | 
                                                        |
| 770 | +function post_int($name, $optional = false) { | 
                                                        |
| 771 | 771 | $x = post_num($name, $optional);  | 
                                                        
| 772 | 772 | if (is_null($x)) return null;  | 
                                                        
| 773 | 773 | $y = (int)$x;  | 
                                                        
@@ -785,7 +785,7 @@ discard block  | 
                                                    ||
| 785 | 785 | }  | 
                                                        
| 786 | 786 | }  | 
                                                        
| 787 | 787 | |
| 788 | -function get_str($name, $optional=false) { | 
                                                        |
| 788 | +function get_str($name, $optional = false) { | 
                                                        |
| 789 | 789 |      if (isset($_GET[$name])) { | 
                                                        
| 790 | 790 | $x = $_GET[$name];  | 
                                                        
| 791 | 791 |      } else { | 
                                                        
@@ -797,7 +797,7 @@ discard block  | 
                                                    ||
| 797 | 797 | return undo_magic_quotes($x);  | 
                                                        
| 798 | 798 | }  | 
                                                        
| 799 | 799 | |
| 800 | -function post_str($name, $optional=false) { | 
                                                        |
| 800 | +function post_str($name, $optional = false) { | 
                                                        |
| 801 | 801 |      if (isset($_POST[$name])) { | 
                                                        
| 802 | 802 | $x = $_POST[$name];  | 
                                                        
| 803 | 803 |      } else { | 
                                                        
@@ -809,7 +809,7 @@ discard block  | 
                                                    ||
| 809 | 809 | return undo_magic_quotes($x);  | 
                                                        
| 810 | 810 | }  | 
                                                        
| 811 | 811 | |
| 812 | -function post_arr($name, $optional=false) { | 
                                                        |
| 812 | +function post_arr($name, $optional = false) { | 
                                                        |
| 813 | 813 |      if (isset($_POST[$name]) && is_array($_POST[$name])) { | 
                                                        
| 814 | 814 | $x = $_POST[$name];  | 
                                                        
| 815 | 815 |      } else { | 
                                                        
@@ -825,7 +825,7 @@ discard block  | 
                                                    ||
| 825 | 825 | // the mb_* functions are not included by default  | 
                                                        
| 826 | 826 | // return (mb_detect_encoding($passwd) -= 'ASCII');  | 
                                                        
| 827 | 827 | |
| 828 | -    for ($i=0; $i<strlen($str); $i++) { | 
                                                        |
| 828 | +    for ($i = 0; $i < strlen($str); $i++) { | 
                                                        |
| 829 | 829 | $c = ord(substr($str, $i));  | 
                                                        
| 830 | 830 | if ($c < 32 || $c > 127) return false;  | 
                                                        
| 831 | 831 | }  | 
                                                        
@@ -849,7 +849,7 @@ discard block  | 
                                                    ||
| 849 | 849 |      $number = str_replace(',', '.', $number); // replace the german decimal separator | 
                                                        
| 850 | 850 | // if no value was entered and this is ok  | 
                                                        
| 851 | 851 | //  | 
                                                        
| 852 | - if ($number=='' && !$low) return true;  | 
                                                        |
| 852 | + if ($number == '' && !$low) return true;  | 
                                                        |
| 853 | 853 | |
| 854 | 854 | // the supplied value contains alphabetic characters  | 
                                                        
| 855 | 855 | //  | 
                                                        
@@ -866,7 +866,7 @@ discard block  | 
                                                    ||
| 866 | 866 | |
| 867 | 867 | // Generate a "select" element from an array of values  | 
                                                        
| 868 | 868 | //  | 
                                                        
| 869 | -function select_from_array($name, $array, $selection=null, $width=240) { | 
                                                        |
| 869 | +function select_from_array($name, $array, $selection = null, $width = 240) { | 
                                                        |
| 870 | 870 | $out = '<select style="color:#000;"class="form-control input-sm" style="width:'.$width.'px" name="'.$name.'">"';  | 
                                                        
| 871 | 871 | |
| 872 | 872 |      foreach ($array as $key => $value) { | 
                                                        
@@ -891,8 +891,8 @@ discard block  | 
                                                    ||
| 891 | 891 | return $str;  | 
                                                        
| 892 | 892 | }  | 
                                                        
| 893 | 893 | |
| 894 | -function strip_bbcode($string){ | 
                                                        |
| 895 | -    return preg_replace("/((\[.+\])+?)(.+?)((\[\/.+\])+?)/","",$string); | 
                                                        |
| 894 | +function strip_bbcode($string) { | 
                                                        |
| 895 | +    return preg_replace("/((\[.+\])+?)(.+?)((\[\/.+\])+?)/", "", $string); | 
                                                        |
| 896 | 896 | }  | 
                                                        
| 897 | 897 | |
| 898 | 898 |  function current_url() { | 
                                                        
@@ -917,7 +917,7 @@ discard block  | 
                                                    ||
| 917 | 917 | // the colors for bootstrap's btn-success are almost illegible;  | 
                                                        
| 918 | 918 | // the green is too light. Use a darker green.  | 
                                                        
| 919 | 919 | //  | 
                                                        
| 920 | -function button_style($color='green', $font_size=null) { | 
                                                        |
| 920 | +function button_style($color = 'green', $font_size = null) { | 
                                                        |
| 921 | 921 | $fs = '';  | 
                                                        
| 922 | 922 |      if ($font_size) { | 
                                                        
| 923 | 923 |          $fs = sprintf('; font-size:%dpx', $font_size); | 
                                                        
@@ -936,7 +936,7 @@ discard block  | 
                                                    ||
| 936 | 936 | // class: class of the button, e.g. btn  | 
                                                        
| 937 | 937 | // extra: Additional text in href tag  | 
                                                        
| 938 | 938 | //  | 
                                                        
| 939 | -function button_text($url, $text, $desc=null, $class=null, $extra='') { | 
                                                        |
| 939 | +function button_text($url, $text, $desc = null, $class = null, $extra = '') { | 
                                                        |
| 940 | 940 |      if (!$desc) { | 
                                                        
| 941 | 941 | $desc = $text;  | 
                                                        
| 942 | 942 | }  | 
                                                        
@@ -951,23 +951,23 @@ discard block  | 
                                                    ||
| 951 | 951 | );  | 
                                                        
| 952 | 952 | }  | 
                                                        
| 953 | 953 | |
| 954 | -function button_text_small($url, $text, $desc=null) { | 
                                                        |
| 954 | +function button_text_small($url, $text, $desc = null) { | 
                                                        |
| 955 | 955 | return button_text($url, $text, $desc, "btn btn-xs", button_style());  | 
                                                        
| 956 | 956 | }  | 
                                                        
| 957 | 957 | |
| 958 | -function show_button($url, $text, $desc=null, $class=null, $extra=null) { | 
                                                        |
| 958 | +function show_button($url, $text, $desc = null, $class = null, $extra = null) { | 
                                                        |
| 959 | 959 | echo button_text($url, $text, $desc, $class, $extra);  | 
                                                        
| 960 | 960 | }  | 
                                                        
| 961 | 961 | |
| 962 | 962 | // for places with a bunch of buttons, like forum posts  | 
                                                        
| 963 | 963 | //  | 
                                                        
| 964 | -function show_button_small($url, $text, $desc=null) { | 
                                                        |
| 964 | +function show_button_small($url, $text, $desc = null) { | 
                                                        |
| 965 | 965 | echo button_text_small($url, $text, $desc);  | 
                                                        
| 966 | 966 | }  | 
                                                        
| 967 | 967 | |
| 968 | 968 | // used for showing icons  | 
                                                        
| 969 | 969 | //  | 
                                                        
| 970 | -function show_image($src, $title, $alt, $height=null) { | 
                                                        |
| 970 | +function show_image($src, $title, $alt, $height = null) { | 
                                                        |
| 971 | 971 | $h = "";  | 
                                                        
| 972 | 972 |      if ($height) { | 
                                                        
| 973 | 973 | $h = "height=\"$height\"";  | 
                                                        
@@ -1004,7 +1004,7 @@ discard block  | 
                                                    ||
| 1004 | 1004 | // tries instead to connect to <replica_db_host> if tag exists.  | 
                                                        
| 1005 | 1005 | // DEPRECATED - use boinc_db.inc  | 
                                                        
| 1006 | 1006 | //  | 
                                                        
| 1007 | -function db_init($try_replica=false) { | 
                                                        |
| 1007 | +function db_init($try_replica = false) { | 
                                                        |
| 1008 | 1008 | check_web_stopped();  | 
                                                        
| 1009 | 1009 | $retval = db_init_aux($try_replica);  | 
                                                        
| 1010 | 1010 |      if ($retval == 1) { | 
                                                        
@@ -1120,7 +1120,7 @@ discard block  | 
                                                    ||
| 1120 | 1120 | // Check this to avoid XSS vulnerability  | 
                                                        
| 1121 | 1121 | //  | 
                                                        
| 1122 | 1122 |  function sanitize_sort_by($x) { | 
                                                        
| 1123 | -    switch($x) { | 
                                                        |
| 1123 | +    switch ($x) { | 
                                                        |
| 1124 | 1124 | case 'expavg_credit':  | 
                                                        
| 1125 | 1125 | case 'total_credit':  | 
                                                        
| 1126 | 1126 | return;  | 
                                                        
@@ -1138,7 +1138,7 @@ discard block  | 
                                                    ||
| 1138 | 1138 | }  | 
                                                        
| 1139 | 1139 | |
| 1140 | 1140 |  function do_download($path) { | 
                                                        
| 1141 | - $name=basename($path);  | 
                                                        |
| 1141 | + $name = basename($path);  | 
                                                        |
| 1142 | 1142 |      header('Content-Description: File Transfer'); | 
                                                        
| 1143 | 1143 |      header('Content-Type: application/octet-stream'); | 
                                                        
| 1144 | 1144 |      header('Content-Disposition: attachment; filename='.$name); | 
                                                        
@@ -1146,7 +1146,7 @@ discard block  | 
                                                    ||
| 1146 | 1146 |      header('Expires: 0'); | 
                                                        
| 1147 | 1147 |      header('Cache-Control: must-revalidate, post-check=0, pre-check=0'); | 
                                                        
| 1148 | 1148 |      header('Pragma: public'); | 
                                                        
| 1149 | -    header('Content-Length: ' . filesize($path)); | 
                                                        |
| 1149 | +    header('Content-Length: '.filesize($path)); | 
                                                        |
| 1150 | 1150 | flush();  | 
                                                        
| 1151 | 1151 | readfile($path);  | 
                                                        
| 1152 | 1152 | }  | 
                                                        
@@ -1195,10 +1195,10 @@ discard block  | 
                                                    ||
| 1195 | 1195 | // Otherwise return 0.  | 
                                                        
| 1196 | 1196 | // Format of user agent string is "BOINC client (windows_x86_64 7.3.17)"  | 
                                                        
| 1197 | 1197 | //  | 
                                                        
| 1198 | -function boinc_client_version(){ | 
                                                        |
| 1198 | +function boinc_client_version() { | 
                                                        |
| 1199 | 1199 |      if (!array_key_exists('HTTP_USER_AGENT', $_SERVER)) return 0; | 
                                                        
| 1200 | 1200 | $x = $_SERVER['HTTP_USER_AGENT'];  | 
                                                        
| 1201 | - $e = "/BOINC client [^ ]* (\d+).(\d+).(\d+)\)/";  | 
                                                        |
| 1201 | + $e = "/BOINC client [^ ]* (\d+).(\d+).(\d+)\)/";  | 
                                                        |
| 1202 | 1202 |      if (preg_match($e, $x, $matches)) { | 
                                                        
| 1203 | 1203 | return $matches[1]*10000 + $matches[2]*100 + $matches[3];  | 
                                                        
| 1204 | 1204 | }  | 
                                                        
@@ -1227,7 +1227,7 @@ discard block  | 
                                                    ||
| 1227 | 1227 | $rem_name = $name."_remaining";  | 
                                                        
| 1228 | 1228 | return "<textarea name=\"$name\" class=\"form-control\" rows=3 id=\"$name\" onkeydown=\"text_counter(this.form.$name, this.form.$rem_name, $maxlen);\"  | 
                                                        
| 1229 | 1229 | onkeyup=\"text_counter(this.form.$name, this.form.$rem_name, $maxlen);\">".$text."</textarea>  | 
                                                        
| 1230 | -        <br><input name=\"$rem_name\" type=\"text\" id=\"$rem_name\" value=\"".($maxlen-strlen($text))."\" size=\"3\" maxlength=\"3\" readonly> ".tra("characters remaining") | 
                                                        |
| 1230 | +        <br><input name=\"$rem_name\" type=\"text\" id=\"$rem_name\" value=\"".($maxlen - strlen($text))."\" size=\"3\" maxlength=\"3\" readonly> ".tra("characters remaining") | 
                                                        |
| 1231 | 1231 | ;  | 
                                                        
| 1232 | 1232 | }  | 
                                                        
| 1233 | 1233 | |
@@ -1257,7 +1257,7 @@ discard block  | 
                                                    ||
| 1257 | 1257 | // use the following around text with long lines,  | 
                                                        
| 1258 | 1258 | // to limit the width and make it more readable.  | 
                                                        
| 1259 | 1259 | //  | 
                                                        
| 1260 | -function text_start($width=640) { | 
                                                        |
| 1260 | +function text_start($width = 640) { | 
                                                        |
| 1261 | 1261 |      echo sprintf("<div style=\"max-width: %dpx;\">\n", $width); | 
                                                        
| 1262 | 1262 | }  | 
                                                        
| 1263 | 1263 |  function text_end() { | 
                                                        
@@ -1283,7 +1283,7 @@ discard block  | 
                                                    ||
| 1283 | 1283 | }  | 
                                                        
| 1284 | 1284 | |
| 1285 | 1285 |  function cert_filename() { | 
                                                        
| 1286 | -    return defined("CERT_FILENAME")?CERT_FILENAME:"cert1.php"; | 
                                                        |
| 1286 | +    return defined("CERT_FILENAME") ?CERT_FILENAME:"cert1.php"; | 
                                                        |
| 1287 | 1287 | }  | 
                                                        
| 1288 | 1288 | |
| 1289 | 1289 | // if user hasn't validated their email addr, tell them to  | 
                                                        
@@ -1300,6 +1300,6 @@ discard block  | 
                                                    ||
| 1300 | 1300 | }  | 
                                                        
| 1301 | 1301 | }  | 
                                                        
| 1302 | 1302 | |
| 1303 | -$cvs_version_tracker[]="\$Id$"; //Generated automatically - do not edit  | 
                                                        |
| 1303 | +$cvs_version_tracker[] = "\$Id$"; //Generated automatically - do not edit  | 
                                                        |
| 1304 | 1304 | |
| 1305 | 1305 | ?>  |