Wikimedia Bugzilla is closed!

I ran into an issue with VisualEditor, when I tried to replace an letter with an diatric letter in defaultsort. VisualEditor would not activate the "Save page" button, making me unable to save the change. Also, I noticed, that if I would add some random letters to the page, after the defaultsort change, VisualEditor would still not activate the "Save page" button.

Here is one of three nearly indentical tests where I found this issue. The other two where to test whether the bug was reproducable.
# Change [[:is:Flokkur:Stjórnmál í Sádí-Arabíu]]
# Open the More settings panel, and choose Page settings.
# Sort the page as "Sádí-Arabíu" (without the hyphens).
# Click apply changes
# Notice that the "Save page" button does not activate.

Expected behaviour: Should allow me to save the page, when changing an letter to an diatric letter. Adding text afterwards definatly should allow me to save the page.