wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-15 02:55:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix function signature in phpdoc

Browse source 
Change-Id: I3329ca19d465c6ad7ed23385021a051fcc23ea8e
This commit is contained in:
Adam Wight 2019-12-03 13:25:41 +01:00
parent 191cb2bea1
commit 1b82b93835
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ReferenceStack.php
View file

@ -112,7 +112,7 @@ class ReferenceStack {
* @param ?string $dir ref direction
* @param StripState $stripState
*
* @return string[]|null of [ $key, $count, $label, $subkey ] or null if nothing is pushed.
* @return ?array ref structure, or null if nothing was pushed
*/
public function pushRef(
?string $text,