2 // PukiWiki - Yet another WikiWikiWeb clone.
3 // external_link.inc.php
5 // 2018 PukiWiki Development Team
6 // License: GPL v2 or (at your option) any later version
8 // PukiWiki External Link Plugin
10 function plugin_external_link_action()
12 global $vars, $external_link_cushion, $_external_link_messages;
13 $charset = CONTENT_CHARSET;
14 header('Content-Type: text/html; charset=' . $charset);
16 if (isset($vars['url'])) {
23 $error_message = <<< EOM
30 print($error_message);
33 $encoded_url = htmlsc($url);
34 $refreshwait = $external_link_cushion['wait_seconds'];
35 $h_title = htmlsc(str_replace('%s', $url, $_external_link_messages['page_title']));
36 $h_desc = htmlsc($_external_link_messages['desc']);
37 $h_wait = htmlsc(str_replace('%s', (string)$external_link_cushion['wait_seconds'],
38 $_external_link_messages['wait_n_seconds']));
42 <meta http-equiv="Content-Type" content="text/html; charset=$charset" />
43 <meta http-equiv="Refresh" content="$refreshwait;URL=$encoded_url" />
44 <title>$h_title</title>
49 <p><a href="$encoded_url">$encoded_url</a></p>