configuration instructions update
php 5.3.0 for use on wikimedia backend servers
Merge remote-tracking branch 'origin/master'