From cf650875d2c25a835ac5c2361f34e99736a99cd1 Mon Sep 17 00:00:00 2001 From: Alies Lapatsin Date: Sun, 5 Apr 2026 13:05:36 +0200 Subject: [PATCH] Display magic comment options in Settings panel MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Add a help section to the Settings panel documenting the magic comments that enable hidden features: - ` +
+ +
+ + Magic comments +

Add as the first line of your code to enable extra analysis modes:

+ + + + + + + + + + + + + + + + + +
<?php // --taint-analysisEnable taint analysis (security analysis for tracking user input through sinks)
<?php // checkTaintedInputAlias for --taint-analysis
<?php // trackTaintsAlias for --taint-analysis
<?php // findUnusedCodeDetect unused classes, methods, properties, and variables (same as enabling both “Detect unused” checkboxes)
+ + URL parameters + + + + + +
?php=8.1Set PHP target version (supported: 5.6, 7.0–7.4, 8.0–8.4)
+ diff --git a/includes/script.php b/includes/script.php index 327aa3e..06cbd72 100644 --- a/includes/script.php +++ b/includes/script.php @@ -42,6 +42,12 @@ '
' + input + '
' ); }); + settingsLines.push( + '
' + + '' + + '
' + ); + document.getElementById('settings_panel').innerHTML = settingsLines.join('\n'); }; diff --git a/views/index.php b/views/index.php index 8545cbd..66b3ede 100755 --- a/views/index.php +++ b/views/index.php @@ -53,6 +53,7 @@ function takesAnInt(int $i) { +