(bug 43270) Ensure wgPostEdit can never be set on a non-view.
authorMatthew Flaschen <mflaschen@wikimedia.org>
Sun, 3 Mar 2013 03:13:05 +0000 (22:13 -0500)
committerMatthew Flaschen <mflaschen@wikimedia.org>
Sun, 3 Mar 2013 03:13:05 +0000 (22:13 -0500)
commit55e78bcd09c4f76b5c6bc8a8bfc43e0035ab6901
treebbf2be010006177ea3422930938ebd0ec549f6a0
parent9c1c5fc6de80e57458c6dc517c70380e491e8813
(bug 43270) Ensure wgPostEdit can never be set on a non-view.

Change-Id: I9e6aac9b25016b804e2be5e4810ae91851cca265
resources/mediawiki.action/mediawiki.action.view.postEdit.js