Fix 6547 php file instructions