Add type hinting to PHP