Update 2012-12-16-switching-to-php-54-on-os-x.md

Added a small hint…