Update filelist.php
This commit is contained in:
parent
8ff1b40633
commit
18c854f794
|
|
@ -112,6 +112,9 @@
|
|||
case 'grammer':
|
||||
$edit_directory = $_SESSION['switch']['grammar']['dir'];
|
||||
break;
|
||||
case 'path':
|
||||
$edit_directory = $_SESSION['editor']['path']['text'];
|
||||
break;
|
||||
case 'provision':
|
||||
switch (PHP_OS) {
|
||||
case "Linux":
|
||||
|
|
|
|||
Loading…
Reference in New Issue