在PHP开发过程中，有时需要删除不再使用的扩展以优化性能或清理环境。以下是一个实例，展示了如何在PHP环境中删除一个扩展。

实例：删除名为“example_extension”的PHP扩展

步骤1：确认扩展已安装

你需要确认“example_extension”这个扩展是否已经安装。可以通过以下命令查看已安装的扩展：

```bash

php -m

```

如果列表中包含“example_extension”，则表示该扩展已安装。

步骤2：找到扩展文件

接下来，找到扩展的文件位置。这通常位于PHP的安装目录下的`ext`文件夹中。例如：

```

/path/to/php/extensions/no-debug-non-zts-20190902/example_extension.so

```

步骤3：编辑php.ini文件

打开你的PHP配置文件`php.ini`，通常位于：

```

/path/to/php.ini

```

在`php.ini`文件中，找到以下行：

```ini

extension_dir = "