dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3becc47) | patch
Fix PhanTypeInvalidLeftOperand in Language.php
authorErik Bernhardson <ebernhardson@wikimedia.org>
Tue, 13 Dec 2016 19:51:07 +0000 (11:51 -0800)
committerErik Bernhardson <ebernhardson@wikimedia.org>
Tue, 13 Dec 2016 19:54:15 +0000 (11:54 -0800)
commitf5f779560917ac72798c1fb1b386d35b0a837378
tree78ee4429ec5c71edc4362568e53bdfd7485717abtree | snapshot
parent3becc477a971df20f5a9834c0c4342b9854bfa3ccommit | diff
Fix PhanTypeInvalidLeftOperand in Language.php

Not entirely sure what's going on here. Best guess is phan isn't able
to figure out that array + mixed will result in an array, and then
adding validNamespaces (another array) is ok. Could make things a little
more explicit with array_merge, but this seems to work to remove the
issue without changing the meaning of the code.

Change-Id: I7031ae4e68878ec3198e47c55ab5de4d52a6d922
languages/Language.php diff | blob | history
Wiklou, le Wiki du Wiklou