Which is faster when using it to extract keywords in a search query in php: $keyword = preg_split('/[\s]+/', $_GET['search']); or $keyword = explode(' ', $_GET
opcache
php-internals
wpf-controls
roundtrip
lambda-calculus
slimbox
jupyter
powerapps-modeldriven
pointer-address
gb2312
nested-queries
keccak
crafting-interpreters
jwilder-nginx-proxy
ng-animate
github-integration">github-integration
windows-app-sdk
recorder.js
lag
mixture
xmlreader
workflow-manager-1.x
jxloginpane
django-inlinecss
heterogeneous-services
perl5.8
bonsai-elasticsearch">bonsai-elasticsearch
delphi-10.3-rio
line-endings
autoplay-media-studio