Re-format php files: Change spaces to tabs.