Go to the source code of this file.
Split off from Article.php and Skin.php, 2003-12-22
Definition in file PageHistory.php.