Primitive extension system: minor change

https://github.com/marienfressinaud/FreshRSS/issues/252
10 years ago · 5a9b08e084
parent febabccdd5
commit 5a9b08e084
1 changed files with 3 additions and 0 deletions
--- a/p/ext.php
+++ b/p/ext.php
@ -20,6 +20,9 @@ if (isset($_GET['j'])) {
 	header('Content-Type: text/css; charset=UTF-8');
 	header('Content-Disposition: inline; filename="style.css"');
 	$filename .= 'style.css';
+} else {
+	header('HTTP/1.1 400 Bad Request');
+	die();
 }

 $mtime = @filemtime($filename);