php related tweaks