1925年大正14年高野下駅が高野山駅として開業 について知っていることをぜひ教えてください

Wikipediaより

1925年（大正14年）

• 7月30日 ： 南海鉄道が九度山駅から路線延伸した際の終着駅である高野山駅として開業[1]。
• 9月11日 ： 高野下駅に改称[2]。

右下、素材の違いは開業当時のホームの名残なのか、ご存知の方は教えてください。

拡大すると、花崗岩とも思われる自然石のように見える。

椎出厳島神社の参道

にある厳島神社の写真にはまだ高野下駅が存在しない。