put in r110285 again now that 1.19 branched
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Thu, 9 Feb 2012 01:34:20 +0000 (01:34 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Thu, 9 Feb 2012 01:34:20 +0000 (01:34 +0000)
commit14d2728ea69f972f1f981251708cbb0396e5f92c
tree56929ca9cc528da0b02b67b93c18a164b9e24128
parent22fd781ec02120403bf1ba74882a096439766812
put in r110285 again now that 1.19 branched
includes/Title.php