Notes on globals in PHP

Fixes #1