Fixed theme editor failing to load. Updated to WP 4.0.