...

...

@@ -315,7 +315,7 @@ if (isset($_GET['width']) AND isset($_GET['height'])) {

315

315

// -- post variables will need to handled differently)

316

316

317

317

echo "<script language='javascript'>\n";

318

-

echo " location.href=\"${_SERVER['SCRIPT_NAME']}?${_SERVER['QUERY_STRING']}"

318

+

echo " location.href=\"{$_SERVER['SCRIPT_NAME']}?{$_SERVER['QUERY_STRING']}"

319

319

. "&width=\" + screen.width + \"&height=\" + screen.height;\n";

320

320

echo "</script>\n";

321

321

exit();

322

322