phpdefined snippet