Ignore case sensitivity when checking if an extension is loaded#215

asgrim merged 1 commit intophp:mainphp/pie:mainfrom

asgrim:ignore-case-sensitivity-when-checking-ext-loadedasgrim/pie:ignore-case-sensitivity-when-checking-ext-loadedCopy head branch name to clipboard