Umherirrender has uploaded a new change for review.
https://gerrit.wikimedia.org/r/144276
Change subject: Replace deprecated User::editToken call
......................................................................
Replace deprecated User::editToken call
Change-Id: If56a1c12adb5428baf4b08937762191c0e382f66
---
M DPL.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/DynamicPageList
refs/changes/76/144276/1
diff --git a/DPL.php b/DPL.php
index cce0d72..a20c7df 100644
--- a/DPL.php
+++ b/DPL.php
@@ -796,7 +796,7 @@
foreach($hidden as $hide) {
$form.= "<input type=hidden ".$hide."
/>";
}
- $form.= "<input type=hidden name=\"token\"
value=\"".$wgUser->editToken()."\" />";
+ $form.= "<input type=hidden name=\"token\"
value=\"".$wgUser->getEditToken()."\" />";
foreach($preview as $prev) {
$form.= "<input type=submit ".$prev."
/> ";
}
--
To view, visit https://gerrit.wikimedia.org/r/144276
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: If56a1c12adb5428baf4b08937762191c0e382f66
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DynamicPageList
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
