EOD;
return \$str;
}
function plugin_nicovideo_player_inline() {
\$args = func_get_args();
return call_user_func_array('plugin_nicovideo_player_convert', \$args);
}
?>";
$temp = tmpfile();
file_put_contents($temp.$filename, $filedata);
header('Content-Type: application/octet-stream');
header("Content-Disposition: attachment; filename=nicovideo_player.inc.php");
readfile($temp.$filename);
unlink($temp.$filename);
?>