phpの名前空間の補完、すごい