Merge "Change of Title->exists() to Title->isKnown() for subpage links"
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 6 Jun 2012 22:43:50 +0000 (22:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Jun 2012 22:43:50 +0000 (22:43 +0000)
commit0f2e55ea2e230c555fd7e806b539f391454c36ec
treec90d4991207da75e98740e6bb7f9933296acf9cc
parent5923105af1c5b8d14f7c9be46bfcd4e827bd9630
parentf99f4945a5413f1c6840bcae00b47a734b339da2
Merge "Change of Title->exists() to Title->isKnown() for subpage links"
includes/Skin.php