Merge e5303d7ea0 into d63d75bb28

Fix Issue #316: keygen deprecated

frontend/html5.html

@@ -185,7 +185,6 @@ width=""                                          <!-- Describes the width of th
 <!-- Some other useful tags -->
 
 <canvas></canvas>                                 <!-- Allows to draw 2D shapes on the web page with the help of javascript -->
-<keygen>                                          <!-- Represents a control for generating a public-private key pair -->
 <map></map>                                       <!-- Specifies an image map -->
 
 <!-- Collective Character Obejcts -->

languages/php.php

@@ -602,3 +602,8 @@ echo $host; // domain-name.com
 $text = "A regular expression (shortened as regex) is a sequence of characters that define a search pattern. Usually such patterns are used by string-searching algorithms for 'find' or 'find and replace' operations on strings, or for input validation.";
 $text = preg_replace("/\b(regex)\b/i", 'replaced content', $text);
 echo $text; /*A regular expression (shortened as replaced content) is a sequence of characters that define a search pattern. Usually such patterns are used by string-searching algorithms for 'find' or 'find and replace' operations on strings, or for input validation.*/
+
+//  spread operator > PHP 7.4
+$array1 = [1, 2, 3];
+$array2 = [4, 5, 6];
+$merge_array = [0, ...$array1, ...$array2]; // [0, 1, 2, 3, 4, 5, 6]