diff --git a/app/edit/fileoptions.php b/app/edit/file_options.php similarity index 77% rename from app/edit/fileoptions.php rename to app/edit/file_options.php index 6a0dd0057f..830a10e1ef 100644 --- a/app/edit/fileoptions.php +++ b/app/edit/file_options.php @@ -68,15 +68,15 @@ echo " \n"; echo "