Hi. I do not know if it is possible, but it could be very helpful.
The page Special:GlobalPreferences includes different features on different wikis. For example, It includes education extension notifications only on wikis that have this extension deployed. This makes users to recheck this page on every wiki they work, to be sure there are no options they missed. I believe global preferences should be global. This means, for example, that all extensions in the world should be there, in any wiki, so this page will be the same on all wikis. Local preferences without the extension just will not show the redundant options. Thank you.
Reproducing steps:
* Open mediawiki.org
* Open Special:GlobalPreferences
* Open Notifications tab
Expected results:
* See all possible options for notifications, including education one.
Actual results:
* Education checkbox is missing, as Education extension is not deployed on mediawiki.org