author | Ed Sanders <esanders@wikimedia.org> | |
Tue, 4 Dec 2018 15:43:17 +0000 (10:43 -0500) | ||
committer | Ed Sanders <esanders@wikimedia.org> | |
Tue, 4 Dec 2018 15:43:17 +0000 (10:43 -0500) |
resources/src/mediawiki.special.preferences.ooui/tabs.js | patch | blob | history |