| @@ -39,7 +39,11 @@ if (isset($_GET["png"])) { | |||||
| } | } | ||||
| else { | else { | ||||
| $render_php = isset($_SERVER['SCRIPT_NAME']) ? $_SERVER['SCRIPT_NAME'] : 'render.php'; | |||||
| $render_php = isset($_SERVER['SCRIPT_NAME']) | |||||
| ? | |||||
| $_SERVER['SCRIPT_NAME'] | |||||
| : | |||||
| 'render.php'; | |||||
| ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" | ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" | ||||
| "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> | "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> | ||||
| @@ -56,7 +60,8 @@ $render_php = isset($_SERVER['SCRIPT_NAME']) ? $_SERVER['SCRIPT_NAME'] : 'render | |||||
| <?echo caca_export_string(pig(), "html3");?> | <?echo caca_export_string(pig(), "html3");?> | ||||
| <h1>Generated image:</h1> | <h1>Generated image:</h1> | ||||
| <a href="<?= htmlspecialchars($render_php) ?>?png=1"><img alt="[PNG]" src="<?= htmlspecialchars($render_php) ?>?png=1" border="0" /></a> | |||||
| <a href="<?= htmlspecialchars($render_php) ?>?png=1"><img alt="[PNG]" | |||||
| src="<?= htmlspecialchars($render_php) ?>?png=1" border="0" /></a> | |||||
| </body> | </body> | ||||
| </html> | </html> | ||||