<?php
$d = array('holger@hütig.de');
$json = json_encode($d);
var_dump($d,$json,json_decode($json));
- Output for 5.2.0 - 5.2.17, 5.3.0 - 5.3.29, 5.4.0 - 5.4.45, 5.5.0 - 5.5.38, 5.6.0 - 5.6.28, 7.0.0 - 7.0.20, 7.1.0 - 7.1.20, 7.2.0 - 7.2.33, 7.3.16 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.7
- array(1) {
[0]=>
string(16) "holger@hütig.de"
}
string(24) "["holger@h\u00fctig.de"]"
array(1) {
[0]=>
string(16) "holger@hütig.de"
}
- Output for 5.0.0 - 5.0.5, 5.1.0 - 5.1.6
- Fatal error: Call to undefined function json_encode() in /in/eYKuR on line 4
Process exited with code 255. - Output for 4.4.5 - 4.4.9
- Fatal error: Call to undefined function: json_encode() in /in/eYKuR on line 4
Process exited with code 255. - Output for 4.3.2 - 4.3.11, 4.4.0 - 4.4.4
- Fatal error: Call to undefined function: json_encode() in /in/eYKuR on line 4
Process exited with code 255. - Output for 4.3.0 - 4.3.1
- Fatal error: Call to undefined function: json_encode() in /in/eYKuR on line 4
preferences:
218.43 ms | 401 KiB | 353 Q