Remove User::getPageRenderingHash, deprecated since 1.17
authoraude <aude.wiki@gmail.com>
Fri, 22 Nov 2013 08:17:22 +0000 (08:17 +0000)
committeraude <aude.wiki@gmail.com>
Fri, 22 Nov 2013 08:43:32 +0000 (08:43 +0000)
commit3aa33b62eed9e22a26bbd49b1d98c5be2499419c
tree316724ecf294453cd61c5abfe7c33d69029f6640
parentb30885e561f19153570c6ccf4a5fcc87d6cfeeff
Remove User::getPageRenderingHash, deprecated since 1.17

The function is not used in core or in any extension in git,
and the PageRenderingHash hook in User::getPageRenderingHash
is not used in any extension. (note the hook still exists
in ParserOptions).

Change-Id: Ica27ce3828dd6551e21671ff723427d09c2dcadb
RELEASE-NOTES-1.23
includes/User.php
includes/parser/ParserOptions.php