Update BuiltinConfig.php

@see http://juliusbeckmann.de/blog/php-benchmark-isset-or-array_key_exists.html

isset is faster as array_key_exists