extension_loaded is case insensitive from PHP5+. Fix bug#49941

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@289852 c90b9560-bf6c-de11-be94-00142212c4b1
This commit is contained in:
Richard Quadling 2009-10-22 15:20:12 +00:00
parent f4afa78e7f
commit 2b75736aca

View file

@ -87,17 +87,32 @@ if (!extension_loaded('gd')) {
</para>
</refsect1>
<refsect1 role="notes">
&reftitle.notes;
<note>
<para>
<function>extension_loaded</function> uses the internal extension name
to test whether a certain extension is available or not. Most internal
extension names are written in lower case but there may be extension
available which also use uppercase letters. Be warned that this
function compares <emphasis role="strong">case sensitive</emphasis> !
</para>
</note>
<refsect1 role="changelog">
&reftitle.changelog;
<para>
<informaltable>
<tgroup cols="2">
<thead>
<row>
<entry>&Version;</entry>
<entry>&Description;</entry>
</row>
</thead>
<tbody>
<row>
<entry>5.0.0</entry>
<entry>
<function>extension_loaded</function> uses the internal extension name
to test whether a certain extension is available or not. Most internal
extension names were written in lower case but there may be extensions
available which also use uppercase letters. Prior to PHP 5, this function
compared the names case sensitively.
</entry>
</row>
</tbody>
</tgroup>
</informaltable>
</para>
</refsect1>
<refsect1 role="seealso">