PHP does NOT allow nested classes.