From e71b2798b8636647e9fa0b1c0f347b2bb6fa6fb0 Mon Sep 17 00:00:00 2001
From: Andreas Eberhard <andreaseberhard@gmail.com>
Date: Sun, 23 Apr 2023 00:50:14 +0200
Subject: [PATCH 1/2] Update lint-analysis.php

Einstellungen auf der Ergebnis-Seite ausgeben
---
 pages/lint-analysis.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pages/lint-analysis.php b/pages/lint-analysis.php
index 5d75f7617..379209984 100644
--- a/pages/lint-analysis.php
+++ b/pages/lint-analysis.php
@@ -5,6 +5,7 @@
 use rexstan\RexCmd;
 use rexstan\RexLint;
 use rexstan\RexResultsRenderer;
+use rexstan\RexStanSettings;
 
 $errors = RexLint::runFromWeb();
 if (count($errors) > 0) {
@@ -17,3 +18,5 @@
 
 $cliVersion = RexCmd::getFormattedCliPhpVersion();
 echo rex_view::warning('Verwendete CLI PHP Version: '. $cliVersion);
+
+echo RexStanSettings::outputSettings();

From ecd68d8ee162f4b0eee00c0e7db85ceb2e2def5a Mon Sep 17 00:00:00 2001
From: Andreas Eberhard <andreaseberhard@gmail.com>
Date: Sun, 23 Apr 2023 00:52:18 +0200
Subject: [PATCH 2/2] Update summary.php

Einstellungen auf der Ergebnis-Seite ausgeben
---
 pages/summary.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pages/summary.php b/pages/summary.php
index 86e340eb4..36fd4a67f 100644
--- a/pages/summary.php
+++ b/pages/summary.php
@@ -1,6 +1,7 @@
 <?php
 
 use rexstan\RexStan;
+use rexstan\RexStanSettings;
 use staabm\PHPStanBaselineAnalysis\ResultPrinter;
 
 $result = RexStan::analyzeSummaryBaseline();
@@ -55,3 +56,5 @@
 </table>
 
 <p>Die Zusammenfassung ist abhängig von den in den <a href="<?= $settingsUrl ?>">Einstellungen</a> definierten PHPStan-Extensions</p>
+
+<?= RexStanSettings::outputSettings() ?>