A PHP extension is a specially formed library or plug-in that provides a function many applications can use.