mediawiki.page.patrol.ajax: Use postWithToken
authorFomafix <fomafix@googlemail.com>
Tue, 24 Jun 2014 06:03:57 +0000 (06:03 +0000)
committer[[mw:User:Fomafix]] <gerritpatchuploader@gmail.com>
Tue, 24 Jun 2014 06:03:57 +0000 (06:03 +0000)
commitd57d9edd20931ce23b10bc104404d5c215d68835
tree31c155aacf785455a86527441e81b58ac1b2b5e0
parentb540fa2f28b73269e8090dec9ae8e716b753e950
mediawiki.page.patrol.ajax: Use postWithToken

Change-Id: I3cfdd048ed7a13fded5566dec58fd6eeb0515d6c
resources/src/mediawiki.page/mediawiki.page.patrol.ajax.js