Its done using javascript not PHP [insert rant about the difference between client side and server side code]. If you look at the source for the page there is a javascript function function ShowPopupMessage(). You can probably find its definition and figure out how it works.
In case you didn't know, however: these kinds of popups are among the best ways to annoy your users.