Home
Miraheze
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
MediaWiki configuration
ffd8b7c754f2
Add wgDefaultTheme to ManageWiki
ffd8b7c754f2
Unpublished
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Flag For Later
Award Token
Tags
None
Referenced Files
None
Subscribers
None
Unpublished Commit ยท
Learn More
Not On Permanent Ref:
This commit is not an ancestor of any permanent ref.
Description
Add wgDefaultTheme to ManageWiki
Change-Id: Ie727a352bbd399af1b583a25004663eeab97d26d
Details
Provenance
Paladox
Authored on May 15 2019, 20:53
Parents
R9:63da4591f946: Fix 'help' desc for wgAllowUserCss and wgAllowUserJs
Branches
Unknown
Tags
Unknown
Event Timeline
Diffusion
mentioned this in
R9:1f27af4d9b6a: Create patch set 3
.
May 15 2019, 21:23
2019-05-15 21:23:12 (UTC+0)
Paladox
committed
R9:ffd8b7c754f2: Add wgDefaultTheme to ManageWiki
(authored by
Paladox
).
May 15 2019, 21:22
2019-05-15 21:22:10 (UTC+0)