Dev: Php type warning