4 * Embed a file of a paste into a HTML site.
5 * We deliver javascript for that.
7 $reqWritePermissions = false;
8 require_once 'www-header.php';
10 $repo = new Repository();
11 $repo->loadFromRequest();
13 if (!isset($_GET['file']) || $_GET['file'] == '') {
14 throw new Exception_Input('File name missing');
17 $file = $repo->getFileByName($_GET['file']);
18 header('Content-Type: text/javascript');
19 header('Expires: ' . date('r', time() + 3600));