The implementation of decorators in PHP