diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
commit | 63601400e476c6cf43d985f3e7b9864681695ed4 (patch) | |
tree | f7846203a952e38aaf66989d0a4702779f549962 /maintenance/mwdoc-filter.php | |
parent | 8ff01378c9e0207f9169b81966a51def645b6a51 (diff) |
Update to MediaWiki 1.20.2
this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024
Diffstat (limited to 'maintenance/mwdoc-filter.php')
-rw-r--r-- | maintenance/mwdoc-filter.php | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/maintenance/mwdoc-filter.php b/maintenance/mwdoc-filter.php new file mode 100644 index 00000000..ab05a3e2 --- /dev/null +++ b/maintenance/mwdoc-filter.php @@ -0,0 +1,19 @@ +<?php +/** + * Doxygen filter to show correct member variable types in documentation. + * + * Should be filled in doxygen INPUT_FILTER as "php mwdoc-filter.php" + * + * Original source code by Goran Rakic + * http://blog.goranrakic.com/ + * http://stackoverflow.com/questions/4325224 + * + * @file + */ + +$source = file_get_contents( $argv[1] ); +$regexp = '#\@var\s+([^\s]+)([^/]+)/\s+(var|public|protected|private)\s+(\$[^\s;=]+)#'; +$replac = '${2} */ ${3} ${1} ${4}'; +$source = preg_replace($regexp, $replac, $source); + +echo $source; |