2 if( CheckVersion( $DBversion ) ) {
4 INSERT IGNORE INTO systempreferences
5 ( variable, value, options, explanation, type ) VALUES
6 ('FacetOrder','Alphabetical','Alphabetical|Usage','Specify the order of facets within each category','Choice')
8 NewVersion( $DBversion, 28826, "Add system preference FacetOrder");