Page MenuHomePhabricator

Include additional signs / letters useful in Korean in the Special characters toolbar
Closed, ResolvedPublic

Description

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.

〈〉 《》¹²³ ↘↗⇐⇒⇘⇗⇔△▲□■○◎●☆★◁◀▷▶◇◆㈜¥₩―½

Event Timeline

ellif renamed this task from Include more characters in the to Include more characters in the 'signs'.Dec 15 2020, 6:22 AM
ellif updated the task description. (Show Details)

Hi @ellif, I assume this is about this area?:

Screenshot from 2020-12-15 11-20-18.png (179×1 px, 41 KB)

The listed signs are defined in MediaWiki itself, so I remove the WikiEditor project tag from this task.

@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).

Aklapper renamed this task from Include more characters in the 'signs' to Include additional signs / letters useful in Korean in the Special characters toolbar.Dec 15 2020, 2:48 PM

Change 655286 had a related patch set uploaded (by Shubham656jain; owner: Shubham656jain):
[mediawiki/core@master] Add new special characters in specialcharacters.json

https://gerrit.wikimedia.org/r/655286

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

https://gerrit.wikimedia.org/r/655286

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! :)