ResourceLoaderUserCSSPrefsModule.php

Go to the documentation of this file.

<?php
class ResourceLoaderUserCSSPrefsModule extends ResourceLoaderModule {
 
    /* Protected Members */
 
    protected $modifiedTime = array();
 
    protected $origin = self::ORIGIN_CORE_INDIVIDUAL;
 
    /* Methods */
 
    public function getModifiedTime( ResourceLoaderContext $context ) {
        $hash = $context->getHash();
        if ( !isset( $this->modifiedTime[$hash] ) ) {
            global $wgUser;
            $this->modifiedTime[$hash] = wfTimestamp( TS_UNIX, $wgUser->getTouched() );
        }
 
        return $this->modifiedTime[$hash];
    }
 
    public function getStyles( ResourceLoaderContext $context ) {
        global $wgAllowUserCssPrefs, $wgUser;
 
        if ( !$wgAllowUserCssPrefs ) {
            return array();
        }
 
        $options = $wgUser->getOptions();
 
        // Build CSS rules
        $rules = array();
 
        // Underline: 2 = browser default, 1 = always, 0 = never
        if ( $options['underline'] < 2 ) {
            $rules[] = "a { text-decoration: " .
                ( $options['underline'] ? 'underline' : 'none' ) . "; }";
        } else {
            # The scripts of these languages are very hard to read with underlines
            $rules[] = 'a:lang(ar), a:lang(kk-arab), a:lang(mzn), ' .
            'a:lang(ps), a:lang(ur) { text-decoration: none; }';
        }
        if ( $options['editfont'] !== 'default' ) {
            // Double-check that $options['editfont'] consists of safe characters only
            if ( preg_match( '/^[a-zA-Z0-9_, -]+$/', $options['editfont'] ) ) {
                $rules[] = "textarea { font-family: {$options['editfont']}; }\n";
            }
        }
        $style = implode( "\n", $rules );
        if ( $this->getFlip( $context ) ) {
            $style = CSSJanus::transform( $style, true, false );
        }
        return array( 'all' => $style );
    }
 
    public function getGroup() {
        return 'private';
    }
 
    public function getDependencies() {
        return array( 'mediawiki.user' );
    }
}