Dzahn has submitted this change and it was merged. Change subject: add wikimedia theme files and logo for planet ......................................................................
add wikimedia theme files and logo for planet Change-Id: Ia1b819d1040eead67b12409e4092c743d091dbc2 --- A files/planet/images/feed-icon-10x10.png R files/planet/images/planet-wm.png A files/planet/images/planet-wm2.png A files/planet/theme/config.ini A files/planet/theme/index.html.tmpl A files/planet/theme/planet.css 6 files changed, 322 insertions(+), 0 deletions(-) Approvals: gerrit2: Verified Dzahn: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/20820 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia1b819d1040eead67b12409e4092c743d091dbc2 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: gerrit2 <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
