removed obsolete PHP code