wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-30 17:04:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Type hint for $wgParser

Browse source 
Change-Id: I91356be31d1ed7a9e4dd1efd140c55a9d91cbc1e
This commit is contained in:
Reedy 2017-04-04 01:04:36 +01:00
parent a71b44a8b9
commit 443d8b6988
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CodeMirror.hooks.php
View file

@ -89,6 +89,7 @@ class CodeMirrorHooks {
* @return array * @return array
*/ */
public static function getGlobalVariables( IContextSource $context ) { public static function getGlobalVariables( IContextSource $context ) {
/** @var Parser $wgParser */
global $wgParser; global $wgParser;
// if we already created these variable array, return it // if we already created these variable array, return it