Delhi Metro platform extension