Current path: home/webdevt/www/wdp/wp-content/plugins/wdp-facture-groupe/vendor/wp-cli/wp-cli/php/
?? Go up: /home/webdevt/www/wdp/wp-content/plugins/wdp-facture-groupe/vendor/wp-cli/wp-cli
<?php
/**
* This file contains fallback functions that might have been disabled but are required nevertheless.
*/
if ( PHP_MAJOR_VERSION >= 8 && ! function_exists( 'ini_set' ) ) {
function ini_set( $option, $value ) { // phpcs:ignore Generic.CodeAnalysis.UnusedFunctionParameter.FoundAfterLastUsed -- This is a stub only.
return false;
}
}