Searched refs:ids (Results 1 – 7 of 7) sorted by relevance
| /dokuwiki/lib/plugins/extension/ |
| H A D | Repository.php | 82 * @param string[] $ids A list of extension ids
85 protected function fetchExtensions($ids) argument
92 'ext' => $ids
109 foreach (array_diff($ids, $found) as $id) {
127 * @param string[] $ids
131 public function initExtensions($ids) argument
137 foreach ($ids as $id) {
|
| /dokuwiki/inc/Subscriptions/ |
| H A D | BulkSubscriptionSender.php | 234 * @param array $ids Array of ids
242 protected function sendList($subscriber_mail, $ids, $ns_id, $lastupdate) argument
246 if ($ids === []) {
252 foreach ($ids as $id) {
|
| /dokuwiki/lib/plugins/usermanager/lang/en/ |
| H A D | import.txt | 7 Duplicate user-ids will be ignored.
|
| /dokuwiki/lib/plugins/usermanager/lang/pt-br/ |
| H A D | import.txt | 7 Usuário ids duplicados serão ignorados.
|
| /dokuwiki/_test/tests/inc/ |
| H A D | common_ml.test.php | 98 $ids = array(
125 foreach($ids as $id) {
|
| /dokuwiki/vendor/simplepie/simplepie/src/Cache/ |
| H A D | MySQL.php | 166 $ids = array_keys($prepared[1]);
167 if (!empty($ids)) {
168 foreach ($ids as $id) {
181 $new_ids = array_diff($ids, $existing_ids);
|
| /dokuwiki/lib/scripts/jquery/ |
| H A D | jquery-ui.min.js | 6 …ids={element:t,button:t+"-button",menu:t+"-menu"},this._drawButton(),this._drawMenu(),this._bindFo… property
|