2013-09-12 22:06:44 +02:00
|
|
|
<?php
|
|
|
|
|
2014-03-26 21:51:49 +01:00
|
|
|
// This previously updated the PROJ index, but HEAD can no longer reindex
|
|
|
|
// old PROJ records properly (since fields have been added to various places)
|
|
|
|
// and this migration is 6 months old and optional. Just skip it.
|