function deprecated_function_run($function) { if (!in_array($function, $this->caught_deprecated)) { $this->caught_deprecated[] = $function; } }