Rename mediawiki.legacy.feeds to mediawiki.feedlink
authorBartosz Dziewoński <matma.rex@gmail.com>
Sun, 16 Aug 2015 14:06:46 +0000 (16:06 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Sun, 16 Aug 2015 14:07:36 +0000 (16:07 +0200)
commit579ec5dee1cdb08fc6c94121ff5570a501f98e0c
tree2b48e944389cb8a1e760c8255d9eca8d12a5de90
parent5c09ef0d6a59b645c34f8bf4735df1bbbb8cf2ce
Rename mediawiki.legacy.feeds to mediawiki.feedlink

Follow-up to d51317ccc24940b77f4f7226d9455c801c09b457. There's nothing
"legacy" about this newly added module.

Also updated comments and marked the copy in shared.css for removal
when cached page renders expire.

Change-Id: Iabaebe9bf1e11a06bb951769693b1be4404e5b00
includes/skins/SkinTemplate.php
resources/Resources.php
resources/src/mediawiki.legacy/feeds.css [deleted file]
resources/src/mediawiki.legacy/images/feed-icon.png [deleted file]
resources/src/mediawiki.legacy/images/feed-icon.svg [deleted file]
resources/src/mediawiki.legacy/shared.css
resources/src/mediawiki/images/feed-icon.png [new file with mode: 0644]
resources/src/mediawiki/images/feed-icon.svg [new file with mode: 0644]
resources/src/mediawiki/mediawiki.feedlink.css [new file with mode: 0644]