[Summary view] [Print] [Text view]

   1  <?php
   2  
   3  // This previously updated the PROJ index, but HEAD can no longer reindex
   4  // old PROJ records properly (since fields have been added to various places)
   5  // and this migration is 6 months old and optional. Just skip it.