Thread:Project:Support desk/Extracting user session/cookie data for custom PHP pages/reply

Is it a MediaWiki extension, or something external?