Extension:ID Generator/ja
PW
The Professional Wiki team maintains this 拡張機能 professionally.
Professional Wiki provides official support for MediaWiki LTS releases only. It may work with other MediaWiki releases.
 リリースの状態: 安定Category:Stable extensions/ja |
|
|---|---|
| 説明 | Provides a parser function to generate unique incremental numeric IDs |
| 作者 | Jeroen De Dauwトーク |
| メンテナー | Professional Wiki |
| 最新バージョン | 1.0.0 (2020-01-27) |
| 互換性の方針 | 長期間サポート リリースであるすべての MediaWiki リリースについて、拡張機能に対応するブランチが存在します。 |
| MediaWiki | 1.31+Category:Extensions with manual MediaWiki version |
| PHP | 7.1+ |
| データベースの変更 | いいえ |
| Composer | professional-wiki/id-generator Category:Extensions supporting Composer/ja |
| ライセンス | 「修正」三条項 BSD ライセンス |
| ダウンロード | GitHub: README CHANGELOG |
The ID Generator extension provides a minimalistic sequential numeric ID generation function.
The wikitext {{#next_number:}} outputs 1 the first time it is used, then 2, etc.
Installable and usable without running MediaWiki's update.php maintenance script. Created as an alternative to the IDProvider extension since that extension cannot be installed via Composer and requires an extra database table.
Category:All extensions/ja
Category:BSD licensed extensions/ja
Category:Extensions by Professional Wiki/ja
Category:Extensions in GitHub version control/ja
Category:Extensions not in ExtensionJson
Category:Extensions supporting Composer/ja
Category:Extensions with invalid or missing type/ja
Category:Extensions with manual MediaWiki version
Category:Stable extensions/ja