login/environment.php

   1 <?php
   2 /*
   3  * This script can set environment variables in the current session
   4  */
   5
   6 require('../config.php');
   7
   8 require_sesskey();
   9
  10 if (!empty($SESSION)) {
  11     if ($flashversion = optional_param('flashversion', false, PARAM_TEXT)) {   // eg 10.0.32
  12         $SESSION->flashversion = $flashversion;
  13     }
  14 }
  15
  16 ?>