Fix parameter name
authorWMDE-Fisch <christoph.jauera@wikimedia.de>
Thu, 10 Nov 2016 09:31:43 +0000 (10:31 +0100)
committerWMDE-Fisch <christoph.jauera@wikimedia.de>
Thu, 10 Nov 2016 09:31:43 +0000 (10:31 +0100)
commit83b27e2ac713d54d7bae340e593878f26d8ca5f4
tree82990f40efbb3c1805d87f0c5440bd60717dd78d
parent1655ebc77e215c917d1e76a6351577e7c00374c6
Fix parameter name

See comment in https://gerrit.wikimedia.org/r/#/c/318535/5/includes/EditPage.php

Change-Id: I4c3da3872997c20a756405099110c8acc37fa188
includes/EditPage.php