Stop messages like
<!-- Saved in parser cache with key wiki:pcache:idhash:9999-0!*!0!!en!*!* and timestamp 20180627230404 and revision id 9999
-->
from appearing in the rendered page source for your MediaWiki articles.
| import 'dart:convert'; | |
| import 'dart:ui'; | |
| import 'package:flutter/material.dart'; | |
| import 'package:flutter/services.dart'; | |
| class AppLocalizations { | |
| AppLocalizations(this.locale); | |
| final Locale fallbackLocale = Locale('en'); | |
| static AppLocalizations of(BuildContext context) { |
| git branch -m old_branch new_branch # Rename branch locally | |
| git push origin :old_branch # Delete the old branch | |
| git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote |
If you love deploying websites using Github, but for some reason want to use your own server, this script might be exactly what you need.
github.php somewhere on your PHP-enabled web server, and make it
accessible for the outside world. Let's say for now the script lives
on http://example.com/github.php