Home
last modified time | relevance | path

Searched refs:happyPages (Results 1 – 3 of 3) sorted by relevance

/dports/www/mediawiki135/mediawiki-1.35.5/includes/installer/
H A DWebInstaller.php101 protected $happyPages; variable in WebInstaller
182 $this->happyPages = $session['happyPages'] ?? [];
285 $this->happyPages[$pageId] = true;
313 if ( count( $this->happyPages ) == 0 ) {
316 return max( array_keys( $this->happyPages ) ) + 1;
420 $this->session['happyPages'] = $this->happyPages;
432 $this->happyPages = [];
551 $happy = !empty( $this->happyPages[$id] );
/dports/www/mediawiki136/mediawiki-1.36.3/includes/installer/
H A DWebInstaller.php101 protected $happyPages; variable in WebInstaller
182 $this->happyPages = $session['happyPages'] ?? [];
285 $this->happyPages[$pageId] = true;
313 if ( count( $this->happyPages ) == 0 ) {
316 return max( array_keys( $this->happyPages ) ) + 1;
420 $this->session['happyPages'] = $this->happyPages;
432 $this->happyPages = [];
550 $happy = !empty( $this->happyPages[$id] );
/dports/www/mediawiki137/mediawiki-1.37.1/includes/installer/
H A DWebInstaller.php101 protected $happyPages; variable in WebInstaller
182 $this->happyPages = $session['happyPages'] ?? [];
285 $this->happyPages[$pageId] = true;
313 if ( count( $this->happyPages ) == 0 ) {
316 return max( array_keys( $this->happyPages ) ) + 1;
420 $this->session['happyPages'] = $this->happyPages;
432 $this->happyPages = [];
550 $happy = !empty( $this->happyPages[$id] );