phpini/edit_manual.cgi

   1 #!/usr/local/bin/perl
   2 # Show form for manually editing php.ini
   3
   4 require './phpini-lib.pl';
   5 &ReadParse();
   6 &error_setup($text{'manual_err'});
   7 &can_php_config($in{'file'}) || &error($text{'manual_ecannot'});
   8 $access{'manual'} || &error($text{'manual_ecannot'});
   9
  10 &ui_print_header("<tt>$in{'file'}</tt>", $text{'manual_title'}, "");
  11
  12 print $text{'manual_desc'},"<p>\n";
  13 print &ui_form_start("save_manual.cgi", "form-data");
  14 print &ui_hidden("file", $in{'file'}),"\n";
  15 print &ui_textarea("data", &read_file_contents($in{'file'}), 20, 80);
  16 print &ui_form_end([ [ "save", $text{'save'} ] ]);
  17
  18 &ui_print_footer("", $text{'index_return'});
  19