Fix doc for ManualLogEntry::setParameters()
authorBrad Jorsch <bjorsch@wikimedia.org>
Wed, 28 Jan 2015 19:15:13 +0000 (11:15 -0800)
committerBrad Jorsch <bjorsch@wikimedia.org>
Wed, 28 Jan 2015 19:18:41 +0000 (11:18 -0800)
commitf81baad5b39b09d8a86428b54edd6598dfcb0194
tree25f6ad39cd2ee4f800da58856e54e2a37a5f4244
parentf41e2ddb6a0cdc6f7c32355215ffb25e907ba081
Fix doc for ManualLogEntry::setParameters()

Numbered-and-named parameters are "number:type:name" (where "type" is
often empty), not "number:name".

Change-Id: I417a3d6caf929a94ffed5e315692950295b3be0d
includes/logging/LogEntry.php