Success: devel/php52-readline v5.2.17_14
fix php readline (3 ports)
Success: devel/php5-readline v5.4.16
Success: devel/php53-readline v5.3.26