A bite-size PHP problem