} else if ($_POST['operation'] === 'extractmarkdown') {
$res = PDFOperations::extractMarkdown($_POST['pdf'], $_POST['out']);
} else if ($_POST['operation'] === 'extractpdfarea') {
- $res = PDFOperations::extractArea($_POST['pdf'], $_POST['out'], $_POST['page'], json_decode($_POST['area'], true), json_decode($_POST['options'], true));
+ $res = PDFOperations::extractArea($_POST['pdf'], $_POST['out'], $_POST['page'], $_POST['area'], $_POST['options']);
} else {
if (!isset($_POST['pdf'])) {
if (isset($_POST['toolbox'])) {