Differences
This shows you the differences between the selected revisions of the page.
2016-11-02 | 2017-02-02 | ||
making an extension out of this (martin) | options explicit anchor (martin) | ||
Line 148: | Line 148: | ||
</code> | </code> | ||
- | ==== Options ==== | + | ==== [[options]] Options ==== |
&screenshotpict(extension_batch_rename) | &screenshotpict(extension_batch_rename) |