From d84ee90be10b67358a2a2340041337aec0cf04d8 Mon Sep 17 00:00:00 2001 From: janekptacijarabaci Date: Wed, 1 Aug 2018 09:34:24 +0200 Subject: Bug 1341957 - Add webgl.getSupportedExtensions() to about:support --- toolkit/modules/Troubleshoot.jsm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'toolkit/modules/Troubleshoot.jsm') diff --git a/toolkit/modules/Troubleshoot.jsm b/toolkit/modules/Troubleshoot.jsm index 65342b623..8d84eec8c 100644 --- a/toolkit/modules/Troubleshoot.jsm +++ b/toolkit/modules/Troubleshoot.jsm @@ -422,6 +422,7 @@ var dataProviders = { function GetWebGLInfo(data, keyPrefix, contextType) { data[keyPrefix + "Renderer"] = "-"; data[keyPrefix + "Version"] = "-"; + data[keyPrefix + "DriverExtensions"] = "-"; data[keyPrefix + "Extensions"] = "-"; data[keyPrefix + "WSIInfo"] = "-"; @@ -456,6 +457,7 @@ var dataProviders = { return; } + data[keyPrefix + "Extensions"] = gl.getSupportedExtensions().join(" "); let ext = gl.getExtension("MOZ_debug_get"); // This extension is unconditionally available to chrome. No need to check. @@ -464,7 +466,7 @@ var dataProviders = { data[keyPrefix + "Renderer"] = vendor + " -- " + renderer; data[keyPrefix + "Version"] = ext.getParameter(gl.VERSION); - data[keyPrefix + "Extensions"] = ext.getParameter(ext.EXTENSIONS); + data[keyPrefix + "DriverExtensions"] = ext.getParameter(ext.EXTENSIONS); data[keyPrefix + "WSIInfo"] = ext.getParameter(ext.WSI_INFO); -- cgit v1.2.3