BenMorel

<?php

final class SafeCast
{
    /**
     * Converts the given variable to an integer.
     *
     * Allowed types are int, float and string.
     *
     * - int values are returned as is;

BenMorel

<?php

/**
 * Generates a php.ini file from runtime ini directives, excluding extensions incompatible with JIT.
 * I did not find a way to disable an extension from the command line, so this script is a workaround.
 *
 * Use it this way:
 *
 * php generate-jit-php-ini.php > php.ini
 * php -n -c php.ini