Fix phpdoc of StatusValue::merge
authoraddshore <addshorewiki@gmail.com>
Fri, 4 Dec 2015 20:45:30 +0000 (21:45 +0100)
committeraddshore <addshorewiki@gmail.com>
Fri, 4 Dec 2015 20:50:22 +0000 (21:50 +0100)
commitb796300aa614e93d525c7ecd615a3109ba919601
tree822f60811c72cf6b480abf279448ea47daadef0b
parentc09e27cc23fd553f17a21d699ae4626ec173a6eb
Fix phpdoc of StatusValue::merge

Change-Id: I6fec36f9911d647fa7507c36b57f6b11ef04d63d
includes/libs/StatusValue.php