File tree Expand file tree Collapse file tree 2 files changed +9
-11
lines changed Expand file tree Collapse file tree 2 files changed +9
-11
lines changed Original file line number Diff line number Diff line change 97
97
PHP_VERSION : " . PHP_VERSION . "
98
98
PHP_OS : " . PHP_OS . "
99
99
INI actual : " . realpath (get_cfg_var ('cfg_file_path ' )) . "
100
- INI wanted : " . realpath ('php.ini-dist ' ) . "
101
100
More .INIs : " . str_replace ("\n" ,"" , php_ini_scanned_files ()) . "
102
101
=====================================================================
103
102
" ;
104
103
105
- // Make sure we are using the proper php.ini.
106
-
107
- $ php_ini = realpath ("php.ini-dist " );
108
- if (realpath (get_cfg_var ('cfg_file_path ' )) != $ php_ini ) {
109
- error ("php.ini-dist was not used! " );
110
- }
111
- $ php .= " -c $ php_ini " ;
112
-
113
104
// Determine the tests to be run.
114
105
115
106
$ test_to_run = array ();
Original file line number Diff line number Diff line change 1
1
--TEST--
2
2
highlight_string() buffering
3
3
--POST--
4
+ --INI--
5
+ highlight.string=#DD0000
6
+ highlight.comment=#FF9900
7
+ highlight.keyword=#007700
8
+ highlight.bg=#FFFFFF
9
+ highlight.default=#0000BB
10
+ highlight.html=#000000
4
11
--GET--
5
12
--FILE--
6
13
<?php
@@ -10,8 +17,8 @@ echo "\n[$var]\n";
10
17
?>
11
18
--EXPECT--
12
19
<code><font color="#000000">
13
- <br /><font color="#0000CC "><?php </font><font color="#006600 ">echo </font><font color="#CC0000 ">"foo"</font><font color="#006600 ">; </font><font color="#0000CC ">?></font><br /></font>
20
+ <br /><font color="#0000BB "><?php </font><font color="#007700 ">echo </font><font color="#DD0000 ">"foo"</font><font color="#007700 ">; </font><font color="#0000BB ">?></font><br /></font>
14
21
</code>
15
22
[<code><font color="#000000">
16
- <br /><font color="#0000CC "><?php </font><font color="#006600 ">echo </font><font color="#CC0000 ">"bar"</font><font color="#006600 ">; </font><font color="#0000CC ">?></font><br /></font>
23
+ <br /><font color="#0000BB "><?php </font><font color="#007700 ">echo </font><font color="#DD0000 ">"bar"</font><font color="#007700 ">; </font><font color="#0000BB ">?></font><br /></font>
17
24
</code>]
You can’t perform that action at this time.
0 commit comments