#1130: Interfaces conflict in PHP 5.3.3