admin/phpinfo.php

   1 <?PHP  // $Id$
   2        // phpinfo.php - shows phpinfo for the current server
   3
   4     require_once("../config.php");
   5     require_once($CFG->libdir.'/adminlib.php');
   6
   7     admin_externalpage_setup('phpinfo');
   8
   9     admin_externalpage_print_header();
  10
  11     echo '<div class="phpinfo">';
  12
  13     ob_start();
  14     phpinfo(INFO_GENERAL + INFO_CONFIGURATION + INFO_MODULES);
  15     $html = ob_get_contents();
  16     ob_end_clean();
  17
  18 /// Delete styles from output
  19     $html = preg_replace('#(\n?<style[^>]*?>.*?</style[^>]*?>)|(\n?<style[^>]*?/>)#is', '', $html);
  20     $html = preg_replace('#(\n?<head[^>]*?>.*?</head[^>]*?>)|(\n?<head[^>]*?/>)#is', '', $html);
  21 /// Delete DOCTYPE from output
  22     $html = preg_replace('/<!DOCTYPE html PUBLIC.*?>/is', '', $html);
  23 /// Delete body and html tags
  24     $html = preg_replace('/<html.*?>.*?<body.*?>/is', '', $html);
  25     $html = preg_replace('/<\/body><\/html>/is', '', $html);
  26
  27     echo $html;
  28
  29     echo '</div>';
  30
  31     admin_externalpage_print_footer();
  32
  33 ?>