PHP ADD_CHAR

ADD_CHAR


<?php
/*
 * add character value2 to string value1 and store in result
 * opcode number: 54
 */
echo "hello\ world";
?>

Function name: (null)

Compiled variables: none

line	#	op	fetch	ext	return	operands
6	0	ECHO				'hello%5C+world'
7	1	RETURN				1