<?php

// Start of Zend Debugger v.

function debugger_print() {}

function get_call_stack() {}

function debugger_start_debug() {}

function debugger_connector_pid() {}

function debugger_connect() {}

function debugger_get_server_start_time() {}

// End of Zend Debugger v.