[packages] php5: add missing $ sign (fixes #9264)