SWFBUTTONRECORD_OVERSTATE 1207 php_ext/ming.c 	SWFButton_addCharacter(button, character, SWFBUTTONRECORD_OVERSTATE);
SWFBUTTONRECORD_OVERSTATE 6107 php_ext/ming.c 	CONSTANT("SWFBUTTON_OVER",              SWFBUTTONRECORD_OVERSTATE);