php pseudocode