An implementation of PHP Mixins