Hello. as of this consensus, Please include these characters to Extension:Wikieditor. You can find out the Signs tab under the 'special characters'.
Thank you.
〈〉 《》¹²³ ↘↗⇐⇒⇘⇗⇔△▲□■○◎●☆★◁◀▷▶◇◆㈜¥₩―½
ellif | |
Dec 15 2020, 6:15 AM |
F34010708: specialcharacters_new-with.json | |
Jan 21 2021, 6:13 AM |
F34010701: specialcharacters_new-without.json | |
Jan 21 2021, 6:13 AM |
F33946232: Screenshot from 2020-12-15 11-20-18.png | |
Dec 15 2020, 10:30 AM |
Hello. as of this consensus, Please include these characters to Extension:Wikieditor. You can find out the Signs tab under the 'special characters'.
Thank you.
〈〉 《》¹²³ ↘↗⇐⇒⇘⇗⇔△▲□■○◎●☆★◁◀▷▶◇◆㈜¥₩―½
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
mediawiki.language: Add special characters useful in Korean | mediawiki/core | master | +21 -1 |
Hi @ellif, I assume this is about this area?:
@ellif: If you are curious and want to try adding these changes yourself by writing a software change and put it into Gerrit, then please follow https://wikitech.wikimedia.org/wiki/Wikimedia_site_requests#Add_additional_letters_to_the_special_characters_toolbar and give it a try!
ᅟI feeling of frustration. The purpose of this request is to improve Mediawiki for Korean Wikimedia and Mediawiki users. If This request was for Individual, I find out mediawiki.org and trying to change the code.
@Aklapper: So, Are you saying that You have to change the code of MediaWiki itself?
@ellif: I don't understand what is frustrating (or why), but maybe we have a misunderstanding here? I wrote that you or anyone else who is interested can make this code change in MediaWiki, and I explained how you or anyone else can make this code change in MediaWiki (not for individuals, but for everyone).
Change 655286 had a related patch set uploaded (by Shubham656jain; owner: Shubham656jain):
[mediawiki/core@master] Add new special characters in specialcharacters.json
Thanks @Shubham656jain! I'd maybe change the commit message to Add special characters useful in Korean (to better differentiate), plus not mention the filename? See also https://www.mediawiki.org/wiki/Gerrit/Commit_message_guidelines . I'd expect most edits in that file add/edit new special characters...
Some bugs are inside the submit. ¹. ², ³, ―, and ½ have their own characters. And some characters have to be like this.
{ "label": "〈〉", "action": { "type": "encapsulate", "options": { "pre": "〈", "post": "〉" } } }, { "label": "《》", "action": { "type": "encapsulate", "options": { "pre": "《", "post": "》" } } },
Change 655286 merged by jenkins-bot:
[mediawiki/core@master] mediawiki.language: Add special characters useful in Korean
OK, this is merging now and will roll out to production wikis next week; for Korean Wikipedia, this should be on 2021-01-21 (UTC).
Hello. Can I update one version more? I tried to adjust the order of symbols.
If you are have intend, You can include four mour characters. I tried other file make it more.
「 (U+300C) LEFT CORNER BRACKET
」 (U+300D) RIGHT CORNER BRACKET
『 (U+300E) LEFT WHITE CORNER BRACKET
』 (U+300F) RIGHT WHITE CORNER BRACKET
Thank you for reviewing in advance.
Hi @ellif, please file a new ticket for a new request. This request is already resolved, and we do not change the scope of a task after resolving it.
Thanks a lot! :)