I can't reproduce this. Do you have several servers? Perhaps one is out of sync.

No, just one.

Are you sure your version of MediaWiki is recent enough? The SVN HEAD version of FlaggedRevs probably depends on core features that were added quite recently; if you're running an older version, you should use the FlaggedRevs release for that version.

It's the last version of mediawiki downloaded today by svn. I've this problem for several weeks

Is anything else touching $wgExtensionFunctions ?

No !
Not defined in my LocalSettings.php.

No other extension that could be changing it?

Yes

moving Special Pages variable out of the main function

Attached:

The problem seem to provide by including code about special page into efLoadFlaggedRevs() function.
I moved them before this function and these special pages are now recognized.

Instead to commit directly into subversion server, I prefered to commit simply a patch.

(In reply to comment #10)

The problem seem to provide by including code about special page into
efLoadFlaggedRevs() function.
I moved them before this function and these special pages are now recognized.

Instead to commit directly into subversion server, I prefered to commit simply
a patch.

This patch will fail if the user defined the namespaces *after* the flaggedrevs include line.

I suspect initList() is getting called before the extension function that adds the pages.

Should be fixed in r42000