Add phpext alias