pseudo code, PHP