Added PHP function snippet.-