loglevelfilter.php 680 B

1234567891011121314151617181920212223
  1. <?php
  2. if (!defined("CONFIG")) die("Not defined");
  3. if (isset($_POST['display_log_level']) or isset($_GET['display_log_level'])) {
  4. if (isset($_GET['display_log_level'])) {
  5. $display_log_level = $_GET['display_log_level'] * 1;
  6. }
  7. if (isset($_POST['display_log_level'])) {
  8. $display_log_level = $_POST['display_log_level'] * 1;
  9. }
  10. } else {
  11. if (isset($_SESSION[$page_url]['display_log_level'])) {
  12. $display_log_level = $_SESSION[$page_url]['display_log_level'];
  13. } else {
  14. $display_log_level = 1;
  15. }
  16. }
  17. if (!isset($display_log_level)) {
  18. $display_log_level = 1;
  19. }
  20. $_SESSION[$page_url]['display_log_level'] = $display_log_level;