PHP: interfaces and traits