diff options
| author | Sebastian Bergmann <sbergmann@php.net> | 2001-06-19 15:21:28 +0000 |
|---|---|---|
| committer | Sebastian Bergmann <sbergmann@php.net> | 2001-06-19 15:21:28 +0000 |
| commit | e4f109b69fd2b5976d018f1064a772e34352de91 (patch) | |
| tree | 59db0d465b1a01cf37cc7479478ec4c7a1be892a /ext | |
| parent | 615cf785c1d9f6adc2344254a60ef1717d82fbd8 (diff) | |
| download | php-git-e4f109b69fd2b5976d018f1064a772e34352de91.tar.gz | |
Finish phpinfo() HTML 4.01 tweaking.
Diffstat (limited to 'ext')
| -rw-r--r-- | ext/standard/info.c | 22 | ||||
| -rw-r--r-- | ext/standard/info.h | 6 |
2 files changed, 14 insertions, 14 deletions
diff --git a/ext/standard/info.c b/ext/standard/info.c index 29a09a01e1..8f911d2f68 100644 --- a/ext/standard/info.c +++ b/ext/standard/info.c @@ -69,7 +69,7 @@ static void php_print_gpcse_array(char *name, uint name_length ELS_DC) zend_hash_internal_pointer_reset((*data)->value.ht); while (zend_hash_get_current_data((*data)->value.ht, (void **) &tmp) == SUCCESS) { PUTS("<tr valign=\"baseline\" bgcolor=\"" PHP_CONTENTS_COLOR "\">"); - PUTS("<td bgcolor=\"" PHP_ENTRY_NAME_COLOR "\"><B>"); + PUTS("<td bgcolor=\"" PHP_ENTRY_NAME_COLOR "\"><b>"); PUTS(name); PUTS("[\""); switch (zend_hash_get_current_key((*data)->value.ht, &string_key, &num_key, 0)) { @@ -80,7 +80,7 @@ static void php_print_gpcse_array(char *name, uint name_length ELS_DC) php_printf("%ld",num_key); break; } - PUTS("\"]</B></td><td>"); + PUTS("\"]</b></td><td>"); if ((*tmp)->type == IS_ARRAY) { PUTS("<pre>"); zend_print_zval_r(*tmp, 0); @@ -105,14 +105,14 @@ static void php_print_gpcse_array(char *name, uint name_length ELS_DC) */ void php_info_print_style(void) { - php_printf("<STYLE TYPE=\"text/css\"><!--\n"); - php_printf("A { text-decoration: none; }\n"); - php_printf("A:hover { text-decoration: underline; }\n"); - php_printf("H1 { font-family: arial,helvetica,sans-serif; font-size: 18pt; font-weight: bold;}\n"); - php_printf("H2 { font-family: arial,helvetica,sans-serif; font-size: 14pt; font-weight: bold;}\n"); - php_printf("BODY,TD { font-family: arial,helvetica,sans-serif; font-size: 10pt; }\n"); - php_printf("TH { font-family: arial,helvetica,sans-serif; font-size: 11pt; font-weight: bold; }\n"); - php_printf("//--></STYLE>\n"); + php_printf("<style type=\"text/css\"><!--\n"); + php_printf("a { text-decoration: none; }\n"); + php_printf("a:hover { text-decoration: underline; }\n"); + php_printf("h1 { font-family: arial,helvetica,sans-serif; font-size: 18pt; font-weight: bold;}\n"); + php_printf("h2 { font-family: arial,helvetica,sans-serif; font-size: 14pt; font-weight: bold;}\n"); + php_printf("body,td { font-family: arial,helvetica,sans-serif; font-size: 10pt; }\n"); + php_printf("th { font-family: arial,helvetica,sans-serif; font-size: 11pt; font-weight: bold; }\n"); + php_printf("//--></style>\n"); } /* }}} */ @@ -158,7 +158,7 @@ PHPAPI void php_print_info(int flag) the_time = time(NULL); ta = php_localtime_r(&the_time, &tmbuf); - PUTS("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\"\n \"http://www.w3.org/TR/html4/loose.dtd\">\n<html>\n"); + PUTS("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\">\n<html>\n"); if (flag & PHP_INFO_GENERAL) { char *zend_version = get_zend_version(); diff --git a/ext/standard/info.h b/ext/standard/info.h index 3a246f0a08..b4666f0fdb 100644 --- a/ext/standard/info.h +++ b/ext/standard/info.h @@ -22,9 +22,9 @@ #ifndef INFO_H #define INFO_H -#define PHP_ENTRY_NAME_COLOR "#CCCCFF" -#define PHP_CONTENTS_COLOR "#CCCCCC" -#define PHP_HEADER_COLOR "#9999CC" +#define PHP_ENTRY_NAME_COLOR "#ccccff" +#define PHP_CONTENTS_COLOR "#cccccc" +#define PHP_HEADER_COLOR "#9999cc" #define PHP_INFO_GENERAL (1<<0) #define PHP_INFO_CREDITS (1<<1) |