Primitive extension system: minor change

https://github.com/marienfressinaud/FreshRSS/issues/252

1 files changed, 3 insertions, 0 deletions

diff --git a/p/ext.php b/p/ext.php
index cff194343..a1dde2f93 100644
--- 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);