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!
Is it a MediaWiki extension, or something external?
The page itself is external to the MediaWiki extensions right now, however, I have made it 'look' as if it's an extension of the wiki be copying the Look and Feel of our Wiki pages. If it's just a matter of sourcing and calling a few MediaWiki classes and functions, that's no problem; just not sure of the correct procedure.
User::isLoggedIn() and User::getName()
