Update file_save.php (#4591)
This commit is contained in:
parent
7b7fe7509e
commit
fd6547fb7d
|
|
@ -60,7 +60,7 @@
|
||||||
case 'php':
|
case 'php':
|
||||||
$edit_directory = $_SERVER["DOCUMENT_ROOT"].'/'.PROJECT_PATH;
|
$edit_directory = $_SERVER["DOCUMENT_ROOT"].'/'.PROJECT_PATH;
|
||||||
break;
|
break;
|
||||||
case 'grammer':
|
case 'grammar':
|
||||||
$edit_directory = $_SESSION['switch']['grammar']['dir'];
|
$edit_directory = $_SESSION['switch']['grammar']['dir'];
|
||||||
break;
|
break;
|
||||||
case 'provision':
|
case 'provision':
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue