Rename mediawiki.action.history.diff to mediawiki.diff.styles
authorLeszek Manicki <leszek.manicki@wikimedia.de>
Wed, 31 Aug 2016 08:14:48 +0000 (10:14 +0200)
committerLeszek Manicki <leszek.manicki@wikimedia.de>
Tue, 6 Sep 2016 09:11:33 +0000 (11:11 +0200)
commita6b402c1c3ab0088c3c2c99ee694007ab5f9b445
tree8ddda9edd0945cf534fcabe0d00e7709e2d8baa4
parent52511952de7b716e3e7771366852170049afb072
Rename mediawiki.action.history.diff to mediawiki.diff.styles

Diff is not shown on action=history, so the name was not valid.
This module contains only styles, so let's make it explicit in its name too.

mediawiki.action.history.diff module is temporarily left for
backwards compatibility. It should be removed when no longer used.

This also renames docs/uidesign/mediawiki.action.history.diff.html
to docs/uidesign/mediawiki.diff.html.

Change-Id: I7ecc08417c5f1870ed6f2ca139fd953d68f6ec8e
docs/uidesign/mediawiki.action.history.diff.html [deleted file]
docs/uidesign/mediawiki.diff.html [new file with mode: 0644]
includes/diff/DifferenceEngine.php
resources/Resources.php
resources/src/mediawiki.action/mediawiki.action.history.diff.css [deleted file]
resources/src/mediawiki.action/mediawiki.action.history.diff.print.css [deleted file]
resources/src/mediawiki/mediawiki.diff.styles.css [new file with mode: 0644]
resources/src/mediawiki/mediawiki.diff.styles.print.css [new file with mode: 0644]