eglDestroyContext duplicated

[samsinsane]

It looks like eglDestroyContext was duplicated at some point, is this intentional/correct?

emscripten/src/library_egl.js

Lines 388 to 391 in c28a629

	// EGLAPI EGLBoolean EGLAPIENTRY eglDestroyContext(EGLDisplay dpy, EGLContext context);
	eglDestroyContext__proxy: 'sync',
	eglDestroyContext__sig: 'iii',
	eglDestroyContext: function(display, context) {

emscripten/src/library_egl.js

Lines 409 to 410 in c28a629

	// EGLAPI EGLBoolean EGLAPIENTRY eglDestroyContext(EGLDisplay dpy, EGLContext ctx);
	eglDestroyContext: function(display, context) {

The second implementation doesn't actually destroy the context, and it appears to be the implementation that ends up being used.

[VirtualTim]

Looking at the blame it looks like two people implemented it independently at the same time; @juj here: 40ca8f6 and @michaeljbishop here: 5ccadef a day later.

This was done almost 7 years ago, so I'm surprised no one else picked it up.

[juj]

Good find. Most web page uses are "init only" without deinitialization, and EGL was never updated with multithreading in mind (I had a stab at #5580, but never had time to finish that up, and at some point dropped using EGL in favor of the more straightforward HTML5 context init API)