Manual:DeprecatedGlobal.php

MediaWiki file: DeprecatedGlobal.php
Location:	includes/
Source code:	master • 1.41.1 • 1.40.3 • 1.39.7
Classes:	DeprecatedGlobal