PHP implementation of IDD examples by Vaughn Vernon