Add missing php end tag

Just downloaded Pico and got an server error. Fixed it by adding the php end tag that went missing in commit 145915346cefb0443f68ad7709846c8d289984fd