Lots of work.  Finally able to convert a considerable php file.