Allora, quello è un modo di customizzare i messaggi di alert nativi in Javascript: non è codice php, quindi, ma javascript.

Se vuoi fare una ricerca per vedere altre possibili customizzazioni, prova su google con la stringa:

javascript custom alert

dovresti trovare diverse possibilità!