mirror of
https://github.com/php/php-src.git
synced 2025-08-18 15:08:55 +02:00
also test shared builds
This commit is contained in:
parent
4b87d8360e
commit
02d0f72596
2 changed files with 9 additions and 2 deletions
|
@ -2,6 +2,9 @@
|
||||||
|
|
||||||
/* default values are localhost, root and empty password
|
/* default values are localhost, root and empty password
|
||||||
Change the values if you use another configuration */
|
Change the values if you use another configuration */
|
||||||
|
if (!extension_loaded('mysqli')) {
|
||||||
|
@dl('mysqli.so');
|
||||||
|
}
|
||||||
|
|
||||||
$driver = new mysqli_driver;
|
$driver = new mysqli_driver;
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,8 @@
|
||||||
<?php
|
<?php
|
||||||
if (!extension_loaded('mysqli'))
|
if (!extension_loaded('mysqli')){
|
||||||
die('skip mysqli extension not available');
|
@dl('mysqli.so');
|
||||||
|
if (!extension_loaded('mysqli')) {
|
||||||
|
die('skip mysqli extension not available');
|
||||||
|
}
|
||||||
|
}
|
||||||
?>
|
?>
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue