Fix Bug #28995: “public interface for getting state of a module” from
authorMark A. Hershberger <mah@users.mediawiki.org>
Sun, 15 May 2011 14:26:24 +0000 (14:26 +0000)
committerMark A. Hershberger <mah@users.mediawiki.org>
Sun, 15 May 2011 14:26:24 +0000 (14:26 +0000)
commitbc205c281cf2bb03086c4de034c893110a833823
treec6ae9943bc6335e26569327fca8d03cfa181e888
parent2d73f683d0052599967748b3a506f817cc1053f8
Fix Bug #28995: “public interface for getting state of a module” from
    Bergi

    Sometimes userscripts need to know about the registrated modules,
    mostly about their state.
    …
    My patch also resolves inconsistencies in the naming conventions
    of getters and setters; I think there should be a clear
    difference.
resources/mediawiki/mediawiki.js