PHP random_int seeding

As of PHP7, a new function was introduced for RNG: random_int (http://ift.tt/1XyTTiS)

There is no information in the PHP manual related to the seeding of this function, nor I could find anything related to this online using Google.

Can I set the seed manually like it was possible with PHP srand or PHP mt_srand? Or I have no control over this? Or is the seeding done automatically and secure by the operating system?