Since this is PHP, `//` is more acceptable.