Searched refs:sourceDbk (Results 1 – 3 of 3) sorted by relevance
| /dports/www/mediawiki135/mediawiki-1.35.5/maintenance/ |
| H A D | namespaceDupes.php | 525 * @param int $sourceDbk The source DB key (i.e. page_title)
528 private function getDestinationTitle( $ns, $name, $sourceNs, $sourceDbk ) { argument
529 $dbk = substr( $sourceDbk, strlen( "$name:" ) );
|
| /dports/www/mediawiki136/mediawiki-1.36.3/maintenance/ |
| H A D | namespaceDupes.php | 518 * @param int $sourceDbk The source DB key (i.e. page_title)
521 private function getDestinationTitle( $ns, $name, $sourceNs, $sourceDbk ) { argument
522 $dbk = substr( $sourceDbk, strlen( "$name:" ) );
|
| /dports/www/mediawiki137/mediawiki-1.37.1/maintenance/ |
| H A D | namespaceDupes.php | 518 * @param int $sourceDbk The source DB key (i.e. page_title)
521 private function getDestinationTitle( $ns, $name, $sourceNs, $sourceDbk ) { argument
522 $dbk = substr( $sourceDbk, strlen( "$name:" ) );
|