But it's definitely useless in PHP. We can rediscuss about documentation for that but anyway, PHP documentation doesn't need to add use statement.