HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/GlobalUserPage…

Authored by wctaiwan.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/GlobalUserPage 865b60d97d4bd3088f821bafe9c5337d1330a8fc

Add top margin to notice

The value is taken from the default for the categories box in
Vector.

Change-Id: Iaa50a00794b21a4479cb98beb26d95f3ac83003d

Details

Committed
Gerrit Code ReviewFeb 19 2015, 6:58 AM
Parents
rMEXT5f92f2197e30: Updated mediawiki/extensions Project: mediawiki/extensions/Flow…
Branches
Unknown
Tags
Unknown
ChangeId
Iaa50a00794b21a4479cb98beb26d95f3ac83003d

Event Timeline