阪急蛍池駅にホームドアが設置されるみたい／同駅ではエスカレーターの改修工事もスタートしていた