From 590a450a4798d21d211a6f046d2ec9fabced0d15 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Sun, 27 Jun 2021 12:15:02 +0200
Subject: [PATCH] Fix possible "Undefined index: output_format" on export

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 libraries/classes/Controllers/ExportController.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/classes/Controllers/ExportController.php b/libraries/classes/Controllers/ExportController.php
index 25da87ab76..ee616f2d83 100644
--- a/libraries/classes/Controllers/ExportController.php
+++ b/libraries/classes/Controllers/ExportController.php
@@ -260,7 +260,7 @@ final class ExportController extends AbstractController
             $quick_export = false;
         }
 
-        if ($_POST['output_format'] === 'astext') {
+        if (isset($_POST['output_format']) && $_POST['output_format'] === 'astext') {
             $asfile = false;
         } else {
             $asfile = true;