Nikita Popov 18129480ae Rename $type subnode to $flags ... Type makes it sound like a type-hint, and on a number of other nodes $type is used for exactly that. Use $flags to hold modifiers instead.		2016-07-25 13:33:19 +02:00
..
Standard.php	Rename $type subnode to $flags	2016-07-25 13:33:19 +02:00