add hook that allows changing the check to see if a page exists or not
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 30 Jan 2012 12:52:31 +0000 (12:52 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 30 Jan 2012 12:52:31 +0000 (12:52 +0000)
commit29ceb0c78a641a2c936432d32582903562eced80
treef60197767a505c1723680877970099e4235f6cda
parent8bdd53ee0538921c11105f79515a0014f1bfc9aa
add hook that allows changing the check to see if a page exists or not
includes/Title.php