Unedited files

These are the original files before the migration to PHP5.5.1