/** * Set custom script name instead of $_SERVER['SCRIPT_NAME'] used by default. * Useful for those using front controllers, when all requests are served by one PHP script. * * @param string $script_name Custom script name * * @return bool Returns true on success and false on failure. * @link https://github.com/tony2001/pinba_engine/wiki/PHP-extension#pinba_script_name_set */ function pinba_script_name_set($script_name) { return pinba::script_name_set($script_name); }