Manual:DeprecatedGlobal.php

From mediawiki.org