Make ParserOptions fields private
authorBrad Jorsch <bjorsch@wikimedia.org>
Thu, 27 Aug 2015 13:38:53 +0000 (09:38 -0400)
committerTim Starling <tstarling@wikimedia.org>
Thu, 27 Aug 2015 23:20:45 +0000 (23:20 +0000)
commit877c3db39636f01ae0c607b1fa407ce70a2b4ed9
treedf04f3fb2400132cf1d32376bee035fe4ca6b7e7
parent9019a18d55ab6c0be98fbb056b453a2f92a40dc2
Make ParserOptions fields private

Now that Ib58e8020 and Ie644854 are merged, there are no direct accesses
to these fields left in core or extensions in Gerrit. So let's make them
private to make sure no more get added before we decide whether we're
going to eliminate them entirely.

Bug: T110269
Change-Id: I82041b88dd0f194716f54d3207649388328805ca
RELEASE-NOTES-1.26
includes/parser/ParserOptions.php