Set edited folder name to client environment

Aleksander Machniak

2014-08-12 b2a15c2c19370abccd511c0c6189ac13e881ecdb

 program/steps/settings/save_folder.inc

@@ -174,6 +174,7 @@
        }

        $OUTPUT->show_message('folderupdated', 'confirmation');
        $OUTPUT->set_env('folder', $folder['name']);

        if ($rename) {
            // #1488692: update session