Platform: ability to query raw extension string list in magnum-info.

src/Magnum/Platform/magnum-info.cpp

@@ -141,12 +141,10 @@ class MagnumInfo: public Platform::WindowlessApplication {
 
 MagnumInfo::MagnumInfo(const Arguments& arguments): Platform::WindowlessApplication(arguments, nullptr) {
     Utility::Arguments args;
-    args.addBooleanOption('s', "short")
-        .setHelp("short", "display just essential info and exit")
-        .addBooleanOption("all-extensions")
-        .setHelp("all-extensions", "display extensions also for fully supported versions")
-        .addBooleanOption("limits")
-        .setHelp("limits", "display also limits and implementation-defined values")
+    args.addBooleanOption('s', "short").setHelp("short", "display just essential info and exit")
+        .addBooleanOption("extension-strings").setHelp("extension-strings", "list all extension strings provided by the driver (implies --short)")
+        .addBooleanOption("all-extensions").setHelp("all-extensions", "display extensions also for fully supported versions")
+        .addBooleanOption("limits").setHelp("limits", "display also limits and implementation-defined values")
         .addSkippedPrefix("magnum", "engine-specific options")
         .setHelp("Displays information about Magnum engine and OpenGL capabilities.");
 
@@ -273,6 +271,12 @@ MagnumInfo::MagnumInfo(const Arguments& arguments): Platform::WindowlessApplicat
     for(const auto& version: shadingLanguageVersions)
         Debug() << "   " << version;
 
+    if(args.isSet("extension-strings")) {
+        Debug() << "Extension strings:" << Debug::newline
+            << c.extensionStrings();
+        return;
+    }
+
     if(args.isSet("short")) return;
 
     Debug() << "";