Theaitetos has submitted this change and it was merged.
Change subject: Slightly modifiying the extension's name
......................................................................
Slightly modifiying the extension's name
* Doing this to avoid conflicts (info-mixup) with the wm sister extension of
the same name,
e.g. if you query information about it via api.php
Change-Id: Id68690cef9f324f82ec368ecba31d1c49d6a7d67
---
M DynamicPageList.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Theaitetos: Verified; Looks good to me, approved
diff --git a/DynamicPageList.php b/DynamicPageList.php
index 8d8fa2c..c7ac630 100644
--- a/DynamicPageList.php
+++ b/DynamicPageList.php
@@ -64,11 +64,11 @@
$wgExtensionMessagesFiles['DynamicPageList'] = dirname( __FILE__ ) .
'/DynamicPageList.i18n.php';
-$DPLVersion = '2.01';
+$DPLVersion = '2.02';
$wgExtensionCredits['parserhook'][] = array(
'path' => __FILE__,
- 'name' => 'DynamicPageList',
+ 'name' => 'DynamicPageList (third party)',
'author' =>
'[http://de.wikipedia.org/wiki/Benutzer:Algorithmix Gero Scholz]',
'url' =>
'https://www.mediawiki.org/wiki/Extension:DynamicPageList_(third-party)',
'descriptionmsg' => 'dpl-desc',
--
To view, visit https://gerrit.wikimedia.org/r/43868
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id68690cef9f324f82ec368ecba31d1c49d6a7d67
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/DynamicPageList
Gerrit-Branch: master
Gerrit-Owner: Kghbln <[email protected]>
Gerrit-Reviewer: Brian Wolff <[email protected]>
Gerrit-Reviewer: Kghbln <[email protected]>
Gerrit-Reviewer: Theaitetos <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
