title: How do I extract all "TickerSymbol" elements from an external XML file, using PHP?
body: <p>I would like to write a <strong>PHP script to extract all  elements</strong> (and only ticker symbols) from the following external page:
  <a href="https://www.predictit.org/api/marketdata/all/" rel="nofollow noreferrer">https://www.predictit.org/api/marketdata/all/</a></p>
  
  <p>So at the time of this writing, the output would be</p>
  
  <p>VAGOV17</p>
  
  <p>DEM.VAGOV17</p>
  
  <p>GOP.VAGOV17</p>
  
  <p>NJGOV17</p>
  
  <p>...</p>
  
  <p>I've tried variations of loadXML() and DOMDocument::getElementsByTagName() but kept getting errors. The XML in the page above appears to be well formed.</p>
  
  <p>Thanks in advance!</p>