A friend of mine asked me what's the best way to identify actually executed
MediaWiki extensions, not just the ones that are installed.
Any hints? I thought that enabling debug logs for a day, then grepping for
the text of filenames in the directory 'extensions' (subtracting out the
stuff that adds hooks to the registry on page load only) may do the trick.
But I imagine there are other wrinkles, and was hoping someone had a canned
technique.
-Adam