original_string: public static function getRandomInt($min = 0, $max = null)
      {
          $rand = null;
  
          if (function_exists('random_int')) {
              try {
                  if (!isset($max)) {
                      $max = PHP_INT_MAX;
                  }
                  $rand = random_int($min, $max);
              } catch (Exception $e) {
                  // If none of the crypto sources are available, an Exception will be thrown.
                  $rand = null;
              }
          }
  
          if (!isset($rand)) {
              if (function_exists('mt_rand')) {
                  if (!isset($max)) {
                      $max = mt_getrandmax();
                  }
                  $rand = mt_rand($min, $max);
              } else {
                  if (!isset($max)) {
                      $max = getrandmax();
                  }
  
                  $rand = rand($min, $max);
              }
          }
  
          return $rand;
      }
code: public static function getRandomInt($min = 0, $max = null)
      {
          $rand = null;
  
          if (function_exists('random_int')) {
              try {
                  if (!isset($max)) {
                      $max = PHP_INT_MAX;
                  }
                  $rand = random_int($min, $max);
              } catch (Exception $e) {
                  // If none of the crypto sources are available, an Exception will be thrown.
                  $rand = null;
              }
          }
  
          if (!isset($rand)) {
              if (function_exists('mt_rand')) {
                  if (!isset($max)) {
                      $max = mt_getrandmax();
                  }
                  $rand = mt_rand($min, $max);
              } else {
                  if (!isset($max)) {
                      $max = getrandmax();
                  }
  
                  $rand = rand($min, $max);
              }
          }
  
          return $rand;
      }
code_tokens: public static function getRandomInt ( $ min = 0 , $ max = null ) { $ rand = null ; if ( function_exists ( 'random_int' ) ) { try { if ( ! isset ( $ max ) ) { $ max = PHP_INT_MAX ; } $ rand = random_int ( $ min , $ max ) ; } catch ( Exception $ e ) { // If none of the crypto sources are available, an Exception will be thrown. $ rand = null ; } } if ( ! isset ( $ rand ) ) { if ( function_exists ( 'mt_rand' ) ) { if ( ! isset ( $ max ) ) { $ max = mt_getrandmax ( ) ; } $ rand = mt_rand ( $ min , $ max ) ; } else { if ( ! isset ( $ max ) ) { $ max = getrandmax ( ) ; } $ rand = rand ( $ min , $ max ) ; } } return $ rand ; }
docstring: Generates a random integer
  
  @param int $min
  @param null|int $max Defaults to max int value
  @return int|null
docstring_tokens: Generates a random integer