if ( isset( $session['settings'] ) ) {
$this->settings = $session['settings'] + $this->settings;
+ // T187586 MediaWikiServices works with globals
+ foreach ( $this->settings as $key => $val ) {
+ $GLOBALS[$key] = $val;
+ }
}
$this->setupLanguage();
*
* @see getRadioSet
*
+ * @param mixed[] $params
* @return array
*/
public function getRadioElements( $params ) {