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

Hello, I am writing custom web pages in PHP for our internal-only wiki. I need to develop a way to check whether or not a user is logged in and get their username from the session information created by the wiki's login pages. I've looked through the code but I cannot find a suitable way to extract this information. Can someone please suggest a method for doing this?

I am currently running :

MediaWiki	1.15.1 PHP	5.2.11 (apache2handler) MySQL	5.0.51a

Any help on the matter will be greatly appreciated!

Thanks!