Remove no longer needed compatibility extension
Remove no longer needed compatibility extension

jugglinmike/es6draft,anba/es6draft,jugglinmike/es6draft,anba/es6draft,anba/es6draft,jugglinmike/es6draft,jugglinmike/es6draft