Intrusive or Extrusive

The article seems to say that the origin of the rock is as an intrusive lava....  If it is an intrusive rock, it should be referred to as magma. If extrusive as lava. It is currently geologically incorrect. 86.145.68.88