在PHP开发过程中，源码优化是一个非常重要的环节，它可以显著提升代码的执行效率，减少资源消耗。以下是一个实例，通过对比优化前后的PHP源码，展示如何进行优化。

优化前

```php

function get_user_info($id) {

$result = mysql_query("