Today I used the PHP function krsort for the first time. It sorts the array with keys in reverse order, which is exactly what I needed to get my version listbox options in order from latest to earliest.