Hi
I am a total n00b to mediaWiki. I am writing a new extension to dynamically generate an SVG file. I have written the extension and copied the files in the right places. But mediaWiki does not seem to pick up my extension. DO I need to restart the apache server or something like that in order to make sure my change in LocalSettings.php is picked up.
What I don't understand (and I do not think is documented very well ) is how does mediawiki know that the file LocalSettings.php has changed and needs to be re-loaded.
Alok