Porting the decorator example from Java to PHP.