Maniphest T205693

Change acewiki default time zone to Asia/Jakarta
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Rachmat04
	Sep 28 2018, 10:13 AM

Description

Dear all,

I would like to request a system change in acewiki, concerning the default time zone. At the moment, the wiki uses UTC as the standard time zone. To easily telling the time where the language is dominantly spoken, it is better to change the UTC to UTC+7 time zone.

The community has agreed to this request. The discussion can be seen at https://ace.wikipedia.org/wiki/Wikipedia:Meusapat#Gantoe_UTC_keu_WIB

Thanks!

Details

	Subject	Repo	Branch	Lines +/-
	Change acewiki default time zone to Asia/Jakarta	operations/mediawiki-config	master	+1 -0

Customize query in gerrit

Event Timeline

Rachmat04 created this task.Sep 28 2018, 10:13 AM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptSep 28 2018, 10:13 AM

Mainframe98 added a project: Wikimedia-Site-requests.Sep 28 2018, 11:01 AM

Kizule claimed this task.Sep 28 2018, 10:14 PM

Restricted Application added a project: User-Kizule. · View Herald TranscriptSep 28 2018, 10:14 PM

Change 463584 had a related patch set uploaded (by Zoranzoki21; owner: Zoranzoki21):
[operations/mediawiki-config@master] Change acewiki default time zone to UTC+7

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

gerritbot added a project: Patch-For-Review.Sep 29 2018, 12:32 AM

Kizule moved this task from Backlog to To deploy on the Wikimedia-Site-requests board.Sep 29 2018, 12:33 AM

Urbanecm renamed this task from Change acewiki default time zone to UTC+7 to Change acewiki default time zone to Asia/Jakarta.Sep 29 2018, 7:52 PM

Adding project User-Urbanecm because of discussion on IRC with @Urbanecm

Kizule moved this task from Backlog to To deploy on the User-Urbanecm board.Oct 4 2018, 6:19 AM

Kizule moved this task from Inbox to To deploy on the User-Kizule board.

Urbanecm moved this task from To deploy to To deploy - scheduled for SWAT on the User-Urbanecm board.Oct 4 2018, 6:21 AM

Urbanecm triaged this task as Medium priority.Oct 4 2018, 6:24 AM

Change 463584 merged by jenkins-bot:
[operations/mediawiki-config@master] Change acewiki default time zone to Asia/Jakarta

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

Mentioned in SAL (#wikimedia-operations) [2018-10-04T11:27:38Z] <zfilipin@deploy1001> Synchronized wmf-config/InitialiseSettings.php: SWAT: [[gerrit:463584|Change acewiki default time zone to Asia/Jakarta (T205693)]] (duration: 00m 56s)

Deployed

Thank you!

Urbanecm moved this task from To deploy - scheduled for SWAT to To deploy on the User-Urbanecm board.Sep 14 2019, 3:21 PM

Maintenance_bot removed a project: Patch-For-Review.Sep 14 2019, 4:19 PM

Change acewiki default time zone to Asia/JakartaClosed, ResolvedPublicActions

Description

Details

Event Timeline

Change acewiki default time zone to Asia/Jakarta
Closed, ResolvedPublic
Actions