PreferencesExtension

What links here (2) →

Subpages (1) →

PreferencesExtension is a MediaWiki extension.

• Main purpose: Allows other extensions to easily extend user preferences.
• Repository: was on wiki page :-(
• Homepage: PreferencesExtension on mediawiki.org 
• Compatible MediaWiki versions: only 1.7 — 1.15.3
• License: GPLv2.0+ 
• Created: 2007-08-07 
• Last version: 2008-02-10

Status for Mediawiki4Intranet distribution:

• ⨯ Removed because: Replaced by core functionality in 1.16.
• Was included: from 2009-04-01 to 2011-02-08
• Improvement status: No changes