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) | ||