https://wiki.plecko.hr/ 2026-04-10T01:48:30+00:00 https://wiki.plecko.hr/ https://wiki.plecko.hr/lib/tpl/bootstrap3/images/favicon.ico text/html 2025-06-18T22:46:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.plecko.hr/doku.php?id=development:misc:change_zulip_stream_type&rev=1750279593&do=diff Change Zulip stream type if there are no accessible members sudo su - zulip cd ~/deployments/current ./manage.py shell from zerver.models.streams import get_stream from zerver.models.users import get_user_by_delivery_email from zerver.models.realms import get_realm from zerver.actions.streams import do_change_stream_permission realm = get_realm("") # use your realm's string_id, e.g. "" for root realm stream = get_stream("stream-name", realm) user = get_user_by_delivery_email("user@domain.com"… text/html 2024-11-21T13:41:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.plecko.hr/doku.php?id=development:misc:delete_zulip_user&rev=1732192887&do=diff Delete Zulip user ./manage.py delete_user -u <UPN> -f text/html 2019-10-31T09:04:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.plecko.hr/doku.php?id=development:misc:mediawiki_pkugin&rev=1572509040&do=diff Simple MediaWiki plugin Want to write your own MediaWiki plugin? This is a simple 'Hello World' example. Once you get this, there's no limit First create a folder for your plugin in /lib/plugins folder /var/www/lib/plugins/myplugin Now create a file plugin.info.txt containing the following text text/html 2019-10-31T09:04:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.plecko.hr/doku.php?id=development:misc:start&rev=1572509040&do=diff Misc * Change Zulip stream type if there are no accessible members * Delete Zulip user * Simple MediaWiki plugin