9c0e2fc options.js: Fix typo

Authored and Committed by Libor Polčák 3 years ago
    options.js: Fix typo
    
        
file modified
+1 -1