Change file encoding for code scripts using PHP