And all your research and mine  is irrelevant because the actual weapon used was a Sig-Sauer SIG MCX, not an AR-15.  That's a fact, not speculation. 

The civilian version is still a single-shot weapon with 30 round magazine(s).  

The pistol was a Glock 17, 17 being its magazine capacity.