File: GlobalEntityKey.php

package info (click to toggle)
mediawiki 1%3A1.43.5%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 420,592 kB
  • sloc: php: 1,064,309; javascript: 664,315; sql: 9,737; python: 5,743; xml: 3,489; sh: 1,131; makefile: 64
file content (15 lines) | stat: -rw-r--r-- 200 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
<?php

namespace Wikimedia\WRStats;

/**
 * Entity key with isGlobal=true
 *
 * @newable
 * @since 1.39
 */
class GlobalEntityKey extends EntityKey {
	public function isGlobal() {
		return true;
	}
}