Fixes to the php code generated by the definitions exporter and symbols table.