From 61aa1d21213c5edfcb62338286ab6a301b42ff84 Mon Sep 17 00:00:00 2001 From: chansizzle <14916599+chansizzle@users.noreply.github.com> Date: Thu, 12 Sep 2019 17:00:54 -0600 Subject: [PATCH] Update file_options_list.php (#4590) --- app/edit/file_options_list.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/app/edit/file_options_list.php b/app/edit/file_options_list.php index cda0ebcd66..6e5b5527e1 100644 --- a/app/edit/file_options_list.php +++ b/app/edit/file_options_list.php @@ -17,7 +17,7 @@ The Initial Developer of the Original Code is Mark J Crane - Portions created by the Initial Developer are Copyright (C) 2008-2012 + Portions created by the Initial Developer are Copyright (C) 2008-2019 the Initial Developer. All Rights Reserved. Contributor(s): @@ -209,7 +209,7 @@ if (!isset($_SESSION)) { session_start(); } case 'php': $edit_directory = $_SERVER["DOCUMENT_ROOT"].'/'.PROJECT_PATH; break; - case 'grammer': + case 'grammar': $edit_directory = $_SESSION['switch']['grammar']['dir']; break; case 'provision':