Some notes on PHP