From f9c73c7b10e5c57bfb8deb965491f84c9d6623c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 28 Nov 2017 15:15:34 +0100
Subject: Remove special casing for font size
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

It is now stored in configuration in same way as any other setting.

Issue #13466
Issue #11688

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 index.php | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'index.php')

diff --git a/index.php b/index.php
index 98039f1b0f..66627f3e75 100644
--- a/index.php
+++ b/index.php
@@ -66,6 +66,17 @@ if (isset($_REQUEST['ajax_request']) && ! empty($_REQUEST['access_time'])) {
     exit;
 }
 
+if (isset($_POST['set_fontsize']) && preg_match('/^[0-9.]+(px|em|pt|\%)$/', $_POST['set_fontsize'])) {
+    $GLOBALS['PMA_Config']->setUserValue(
+        null,
+        'FontSize',
+        $_POST['set_fontsize'],
+        '82%'
+    );
+    header('Location: index.php' . Url::getCommonRaw());
+    exit();
+}
+
 // See FAQ 1.34
 if (! empty($_REQUEST['db'])) {
     $page = null;
-- 
cgit v1.2.3