Per Aaron, follow-up r96859: add @deprecated comment, a wfDeprecated() and mark it...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Thu, 29 Sep 2011 15:21:54 +0000 (15:21 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Thu, 29 Sep 2011 15:21:54 +0000 (15:21 +0000)
commit1e94b1be892f4f15e8b7f946bca795e70d07ca54
treea9ce16af45003f63e0b9068cd662b89d76b4df95
parentcb3a99fd8ac2f3f0ed9477e70b3aaf51e7a3430f
Per Aaron, follow-up r96859: add @deprecated comment, a wfDeprecated() and mark it for removal in next version since it's not used anywhere
includes/parser/ParserOptions.php