PHP manual doesn't say it's deprecated by meh ...