Update php5*-augmentedtypes to version 0.6.2