SWFBUTTONRECORD_DOWNSTATE 1241 php_ext/ming.c 	SWFButton_addCharacter(button, character, SWFBUTTONRECORD_DOWNSTATE);
SWFBUTTONRECORD_DOWNSTATE 6106 php_ext/ming.c 	CONSTANT("SWFBUTTON_DOWN",              SWFBUTTONRECORD_DOWNSTATE);