Nischayn22 has uploaded a new change for review. Change subject: convert user id to int. was a string when retrieved from db. ......................................................................
convert user id to int. was a string when retrieved from db. Change-Id: I21838bacaeb580556aa4707b73867e745e694581 --- M includes/User.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/03/43803/1 -- To view, visit https://gerrit.wikimedia.org/r/43803 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I21838bacaeb580556aa4707b73867e745e694581 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Nischayn22 <nischay...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits