PHP now has an exponentiation operator ** that can be used instead of
 the pow function.

issue #5827