add a typehint here. cf. http://www.php.net/manual/en/language.oop5.typehinting.php