* Show user preference 'Use live preview' if $wgLivePreview is enabled only
authorRaimond Spekking <raymond@users.mediawiki.org>
Wed, 17 Jun 2009 18:23:36 +0000 (18:23 +0000)
committerRaimond Spekking <raymond@users.mediawiki.org>
Wed, 17 Jun 2009 18:23:36 +0000 (18:23 +0000)
commitc6d6f2199e406329fd1cd7415d0c07fe2870c692
tree4e8ca988d0212bb30e071b0c0babb275991b5a68
parent1616eb7c5edf3c7728bd25559589b37ce2ff3275
* Show user preference 'Use live preview' if $wgLivePreview is enabled only
RELEASE-NOTES
includes/Preferences.php