we want to get the edit token, not edit the token...
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Wed, 19 Oct 2011 19:38:17 +0000 (19:38 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Wed, 19 Oct 2011 19:38:17 +0000 (19:38 +0000)
commitda250a635c0e20b2d4c3ca994b8aad065b319149
tree4652dba43c16f70a6fa7e91659cfdce59e45073a
parentfdb4ccd5d2f1fc5b6a76efde28d073b056bd8e42
we want to get the edit token, not edit the token...
includes/User.php