The officials of Jefferson county shall receive the same salaries respectively as they would have received as officials in San Miguel county until otherwise provided by law.