用php写一个网页要求随机播放mp4目录下的视频

以下是一个简单的PHP代码，可以实现随机播放mp4目录下的视频：

<?php
$dir = "./mp4"; //mp4文件所在的目录
$files = glob($dir . "/*.mp4"); //获取所有mp4文件的路径
shuffle($files); //随机打乱数组顺序
?>

<!DOCTYPE html>
<html>
<head>
	<title>随机播放MP4视频</title>
	<meta charset="utf-8">
</head>
<body>
	<h1>随机播放MP4视频</h1>
	<video controls autoplay width="640" height="360">
		<source src="<?php echo $files[0]; ?>" type="video/mp4">
	</video>
</body>
</html>

解释一下代码的实现思路：

首先定义了一个变量 $dir，保存mp4文件所在的目录路径。
使用 glob() 函数获取该目录下所有mp4文件的路径，并将它们保存在一个数组 $files 中。
使用 shuffle() 函数随机打乱数组 $files 的顺序。
在HTML代码中使用 <video> 标签来播放视频，其中 src 属性的值使用PHP代码动态输出数组 $files 中第一个元素的值，也就是一个随机的mp4文件路径。
最终在浏览器中打开这个PHP文件，就能实现随机播放mp4目录下的视频了。

注意：为了更好地兼容不同的浏览器，建议在 <source> 标签中为每个mp4文件指定多种不同的视频格式，比如 type="video/mp4"、type="video/webm"、type="video/ogg" 等。此外，还可以在 <video> 标签中添加 controls 属性来显示视频播放控制条，添加 autoplay 属性来自动播放视频。