Remove the random_compat lib.

common.php

@@ -68,9 +68,6 @@ Config::write($CONF);
 $PALANG = [];
 require_once("$incpath/languages/language.php");
 require_once("$incpath/functions.inc.php");
-if (extension_loaded('Phar') && ( version_compare(PHP_VERSION, '7.0.0') < 0)) {
-    require_once("$incpath/lib/random_compat.phar");
-}
 
 if (defined('POSTFIXADMIN_CLI')) {
     $language = 'en'; # TODO: make configurable or autodetect from locale settings

functions.inc.php

@@ -834,10 +834,6 @@ function encode_header($string, $default_charset = "utf-8") {
 }
 
 
-if (!function_exists('random_int')) { // PHP version < 7.0
-    require_once(dirname(__FILE__) . '/lib/block_random_int.php');
-}
-
 
 /**
  * Generate a random password of $length characters.

lib/block_random_int.php

@@ -1,17 +0,0 @@
-<?php
-
-/**
- * This file should only be loaded if you're : 
- *  a. running PHP < 7.0, and
- *  b. have the php_crypt password hash configured, and
- *  c. have not loaded paragonie's random_compat library.
- *
- */
-
-if(function_exists('random_int')) {
-    return;
-}
-
-function random_int($a, $b) { // someone might not be using php_crypt or ask for password generation, in which case random_int() won't be called
-        die(__FILE__ . " Postfixadmin security: Please install https://github.com/paragonie/random_compat OR enable the 'Phar' extension.");
-}

lib/random_compat.phar.pubkey

@@ -1,5 +0,0 @@
------BEGIN PUBLIC KEY-----
-MHYwEAYHKoZIzj0CAQYFK4EEACIDYgAEEd+wCqJDrx5B4OldM0dQE0ZMX+lx1ZWm
-pui0SUqD4G29L3NGsz9UhJ/0HjBdbnkhIK5xviT0X5vtjacF6ajgcCArbTB+ds+p
-+h7Q084NuSuIpNb6YPfoUFgC/CL9kAoc
------END PUBLIC KEY-----

lib/random_compat.txt

@@ -1,4 +0,0 @@
-Downloaded on 2018/04/29.
-
-https://github.com/paragonie/random_compat/releases/download/v2.0.12/random_compat.phar.pubkey
-https://github.com/paragonie/random_compat/releases/download/v2.0.12/random_compat.phar

psalm.xml

@@ -12,7 +12,6 @@
             <directory name="tests" />
             <directory name="templates_c" />
             <directory name="lib/smarty" />
-            <file name="lib/block_random_int.php" />
             <directory name="ADDITIONS/" />
         </ignoreFiles>
     </projectFiles>