https://doc.wikimedia.org/mediawiki-core/REL1_39/php/PreferencesFactory_8php.html
MediaWiki: includes/preferences/PreferencesFactory.php File Reference
mediawikiincludespreferencesphpfile
https://docs.oracle.com/javase/jp/22/docs/api/java.prefs/java/util/prefs/PreferencesFactory.html
PreferencesFactory (Java SE 22 & JDK 22)
declaration: module: java.prefs, package: java.util.prefs, interface: PreferencesFactory
java sejdk
https://docs.oracle.com/javase/jp/24/docs/api/java.prefs/java/util/prefs/PreferencesFactory.html
PreferencesFactory (Java SE 24 & JDK 24)
declaration: module: java.prefs, package: java.util.prefs, interface: PreferencesFactory
java sejdk
https://doc.wikimedia.org/mediawiki-core/master/php/PreferencesFactory_8php.html
MediaWiki: includes/Preferences/PreferencesFactory.php File Reference
mediawikiincludespreferencesphpfile