Use mixins in php